Graph Theory
From MaRDI portal
Software:40295
No author found.
Related Items (6)
A modular first formalisation of combinatorial design theory ⋮ Functional correctness of C implementations of Dijkstra's, Kruskal's, and Prim's algorithms ⋮ Graph theory in Coq: minors, treewidth, and isomorphisms ⋮ A graph library for Isabelle ⋮ Infeasible Paths Elimination by Symbolic Execution Techniques ⋮ A framework for the verification of certifying computations
This page was built for software: Graph Theory
