scientific article; zbMATH DE number 1789934
From MaRDI portal
Publication:4549245
Recommendations
- A proof of the Kepler conjecture
- A formal proof of the Kepler conjecture
- A revision of the proof of the Kepler conjecture
- Theorem Proving in Higher Order Logics
- Validating Kepler's conjecture: A new approach
- scientific article; zbMATH DE number 2209729
- A formulation of the Kepler conjecture
- The status of the Kepler conjecture
Cited in
(18)- The status of the Kepler conjecture
- From Kepler to Hales, and back to Hilbert
- On the quantum attacks against schemes relying on the hardness of finding a short generator of an ideal in \(\mathbb{Q}(\zeta_{2^s})\)
- Study of the Kepler's conjecture: the problem of the closest packing
- Cannonballs and honeycombs.
- A mathematical proof proved correct: the most efficient way to pack spheres
- The history of the Kepler conjecture
- Verified efficient enumeration of plane graphs modulo isomorphism
- Certified Exact Transcendental Real Number Computation in Coq
- Kepler's conjecture. How some of the greatest minds in history helped solve one of the oldest math problems in the world. Transl. from the English by Manfred Stern
- In Math, computers don't lie. Or do they
- scientific article; zbMATH DE number 1464669 (Why is no real title available?)
- A formal proof of the Kepler conjecture
- Theorem Proving in Higher Order Logics
- scientific article; zbMATH DE number 2209729 (Why is no real title available?)
- Maximum spread of graphs and bipartite graphs
- Theory and application of width bounded geometric separators
- A revision of the proof of the Kepler conjecture
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4549245)
