Pages that link to "Item:Q977177"

The following pages link to A revision of the proof of the Kepler conjecture (Q977177):

Displaying 24 items.

• Upper bound on the packing density of regular tetrahedra and octahedra (Q650113) (← links)
• Historical overview of the Kepler conjecture (Q734995) (← links)
• Computer-aided proof of Erdős discrepancy properties (Q892235) (← links)
• A rejoinder to Hale's article (Q1343290) (← links)
• The HOL Light theory of Euclidean space (Q1945903) (← links)
• Asymptotic optimality of the triangular lattice for a class of optimal location problems (Q2244074) (← links)
• Optimality of the triangular lattice for a particle system with Wasserstein interaction (Q2249444) (← links)
• Theorem of three circles in Coq (Q2351412) (← links)
• Learning-assisted automated reasoning with \(\mathsf{Flyspeck}\) (Q2351415) (← links)
• Flyspeck II: The basic linear programs (Q2379683) (← links)
• Lakatos-style collaborative mathematics through dialectical, structured and abstract argumentation (Q2407885) (← links)
• Kepler's conjecture and the dodecahedral conjecture (Q2451157) (← links)
• Beyond Provable Security Verifiable IND-CCA Security of OAEP (Q3073706) (← links)
• The Kepler Conjecture (Q3094959) (← links)
• Formalization and Execution of Linear Algebra: From Theorems to Algorithms (Q3453644) (← links)
• (Q4549245) (← links)
• Computational logic: its origins and applications (Q4559535) (← links)
• ON A STRONG VERSION OF THE KEPLER CONJECTURE (Q4911022) (← links)
• The CADE-26 automated theorem proving system competition – CASC-26 (Q5145427) (← links)
• Proof Auditing Formalised Mathematics (Q5195266) (← links)
• CATEGORY-BASED CO-GENERATION OF SEMINAL CONCEPTS AND RESULTS IN ALGEBRA AND NUMBER THEORY: CONTAINMENT-DIVISION AND GOLDBACH RINGS (Q5229614) (← links)
• A FORMAL PROOF OF THE KEPLER CONJECTURE (Q5280247) (← links)
• Mathematics and the formal turn (Q6130523) (← links)
• Combining higher-order logic with set theory formalizations (Q6161232) (← links)