Graph Theory
From MaRDI portal
Software:40295
swMATH28581MaRDI QIDQ40295FDOQ40295
Author name not available (Why is that?)
Cited In (6)
- Graph theory in Coq: minors, treewidth, and isomorphisms
- Functional correctness of C implementations of Dijkstra's, Kruskal's, and Prim's algorithms
- A modular first formalisation of combinatorial design theory
- A framework for the verification of certifying computations
- A graph library for Isabelle
- Infeasible Paths Elimination by Symbolic Execution Techniques
This page was built for software: Graph Theory
