Tame Graphs
From MaRDI portal
Software:40292
swMATH28578MaRDI QIDQ40292FDOQ40292
Author name not available (Why is that?)
Cited In (14)
- Graph theory in Coq: minors, treewidth, and isomorphisms
- Flyspeck II: The basic linear programs
- The Isabelle Framework
- A graph library for Isabelle
- The dodecahedral conjecture
- Introduction to ``Milestones in interactive theorem proving
- A formal proof of the minor-exclusion property for treewidth-two graphs
- Computational logic: its origins and applications
- A Compiled Implementation of Normalization by Evaluation
- A revision of the proof of the Kepler conjecture
- Animating the formalised semantics of a Java-like language
- A FORMAL PROOF OF THE KEPLER CONJECTURE
- Verified efficient enumeration of plane graphs modulo isomorphism
- The strong dodecahedral conjecture and Fejes Tóth's conjecture on sphere packings with kissing number twelve
This page was built for software: Tame Graphs
