Pages that link to "Item:Q734997"
From MaRDI portal
The following pages link to A formulation of the Kepler conjecture (Q734997):
Displaying 9 items.
- kepler98 (Q35396) (← links)
- Towards a proof of the 24-cell conjecture (Q722369) (← links)
- Towards formalising Schutz' axioms for Minkowski spacetime in Isabelle/HOL (Q2102946) (← links)
- Flyspeck II: The basic linear programs (Q2379683) (← links)
- The dodecahedral conjecture (Q3584349) (← links)
- ON A STRONG VERSION OF THE KEPLER CONJECTURE (Q4911022) (← links)
- Placing your Coins on a Shelf (Q5136217) (← links)
- Proof Auditing Formalised Mathematics (Q5195266) (← links)
- A FORMAL PROOF OF THE KEPLER CONJECTURE (Q5280247) (← links)