I tried 4 years ago to look for the source code of Chou work to build and formalize a theory for MDG but unfortunetly I didn't find any work regarding the graph theory. The good thing is that alot of graph theory representation exists in Isabelle/HOL. I believe you can map the definitions there to HOL.
--
Best Regards, $--$Sa'ed R. Abed, Ph.D. $Computer Eng. Dept.,$Faculty of Engineering, $Location\3a E3058 $Hashemite University,$P.O. Box\3a 150459$Zarqa, 13115 Jordan $Voice\3a +962 5 3826600 x. 4654$Fax\3a +962 5 3826613$--
------------------------------------------------------------------------------ Download Intel® Parallel Studio Eval Try the new software tools for yourself. Speed compiling, find bugs proactively, and fine-tune applications for parallel performance. See why Intel Parallel Studio got high marks during beta. http://p.sf.net/sfu/intel-sw-dev
_______________________________________________ hol-info mailing list [email protected] https://lists.sourceforge.net/lists/listinfo/hol-info
