Pages that link to "Item:Q734997"

The following pages link to A formulation of the Kepler conjecture (Q734997):

Displaying 28 items.

• kepler98 (Q35396) (← links)
• Conformal triality of the Kepler problem (Q295761) (← links)
• Towards a proof of the 24-cell conjecture (Q722369) (← links)
• Historical overview of the Kepler conjecture (Q734995) (← links)
• Sphere packings. III: Extremal cases (Q734998) (← links)
• Sphere packings. IV: Detailed bounds (Q734999) (← links)
• Sphere packings. V: Pentahedral prisms (Q735000) (← links)
• Sphere packings. VI: Tame graphs and linear programs (Q735001) (← links)
• On packing spheres into containers (Q863698) (← links)
• Sphere packings. II (Q1364136) (← links)
• Validating Kepler's conjecture: A new approach (Q1569191) (← links)
• A note on the Kepler problem (Q1850866) (← links)
• Towards formalising Schutz' axioms for Minkowski spacetime in Isabelle/HOL (Q2102946) (← links)
• Flyspeck II: The basic linear programs (Q2379683) (← links)
• Study of the Kepler's conjecture: the problem of the closest packing (Q2430657) (← links)
• Kepler's conjecture and the dodecahedral conjecture (Q2451157) (← links)
• A proof of the Kepler conjecture (Q2494223) (← links)
• Cannonballs and honeycombs. (Q2756729) (← links)
• The dodecahedral conjecture (Q3584349) (← links)
• (Q4549245) (← links)
• ON A STRONG VERSION OF THE KEPLER CONJECTURE (Q4911022) (← links)
• (Q5016522) (← links)
• Placing your Coins on a Shelf (Q5136217) (← links)
• Proof Auditing Formalised Mathematics (Q5195266) (← links)
• A FORMAL PROOF OF THE KEPLER CONJECTURE (Q5280247) (← links)
• Theorem Proving in Higher Order Logics (Q5464666) (← links)
• The art of unlocking (Q6169863) (← links)
• Approximation schemes under resource augmentation for knapsack and packing problems of hyperspheres and other shapes (Q6574943) (← links)