Pages that link to "Item:Q2379683"
From MaRDI portal
The following pages link to Flyspeck II: The basic linear programs (Q2379683):
Displayed 12 items.
- Effective homology of bicomplexes, formalized in Coq (Q631755) (← links)
- Generating certified code from formal proofs: a case study in homological algebra (Q968307) (← links)
- A revision of the proof of the Kepler conjecture (Q977177) (← links)
- Formalization of function matrix theory in HOL (Q2294128) (← links)
- A formalisation in HOL of the fundamental theorem of linear algebra and its application to the solution of the least squares problem (Q2362109) (← links)
- Flyspeck II: The basic linear programs (Q2379683) (← links)
- Verified Efficient Enumeration of Plane Graphs Modulo Isomorphism (Q3088012) (← links)
- The Isabelle Framework (Q3543647) (← links)
- The dodecahedral conjecture (Q3584349) (← links)
- Efficient Formal Verification of Bounds of Linear Programs (Q5200112) (← links)
- A FORMAL PROOF OF THE KEPLER CONJECTURE (Q5280247) (← links)
- A Formal Proof of the Computation of Hermite Normal Form in a General Setting (Q6108811) (← links)