The following pages link to Tame Graphs (Q40292):
Displaying 14 items.
- A revision of the proof of the Kepler conjecture (Q977177) (← links)
- Introduction to ``Milestones in interactive theorem proving'' (Q1663212) (← links)
- A formal proof of the minor-exclusion property for treewidth-two graphs (Q1791156) (← links)
- A graph library for Isabelle (Q2018659) (← links)
- Graph theory in Coq: minors, treewidth, and isomorphisms (Q2209536) (← links)
- Flyspeck II: The basic linear programs (Q2379683) (← links)
- The Strong Dodecahedral Conjecture and Fejes Tóth’s Conjecture on Sphere Packings with Kissing Number Twelve (Q2848996) (← links)
- Animating the Formalised Semantics of a Java-Like Language (Q3088008) (← links)
- Verified Efficient Enumeration of Plane Graphs Modulo Isomorphism (Q3088012) (← links)
- The Isabelle Framework (Q3543647) (← links)
- A Compiled Implementation of Normalization by Evaluation (Q3543648) (← links)
- The dodecahedral conjecture (Q3584349) (← links)
- Computational logic: its origins and applications (Q4559535) (← links)
- A FORMAL PROOF OF THE KEPLER CONJECTURE (Q5280247) (← links)
