Documents Related by Co-Citation

35 The packing of equal spheres – C A Rogers - 1958
16 The Sphere Packing Problem – T C Hales - 1992
22 Sphere Packings I – Thomas C. Hales - 1996
39 Lagerungen in der Ebene, auf der Kugel und im Raum – L Fejes Toth - 1972
21 On the sphere packing problem and the proof of Kepler's conjecture – W-Y Hsiang - 1993
25 Cannonballs and honeycombs – T C Hales - 1998
6 Remarks on the density of sphere packings in three dimensions – Thomas C Hales - 1993
5 On the division of space with minimum partition area – Thomson, S W L
38 Bounds for packings in n-dimensional Euclidean space – V I Levenshtein - 1979
42 New bounds on the number of unit spheres that can touch a unit sphere in n dimensions – A. M. Odlyzko, N. J. A. Sloane - 1979
3 Isoperimetric inequalities and the dodecahedral conjecture – K Bezdek - 1997
113 Packing and covering – C A Rogers - 1964
724 M.: Isabelle/HOL - A Proof Assistant for HigherOrder Logic – T Nipkow, L C Paulson, Wenzel - 2002
2 A proof of the dodecahedral conjecture, eprint: math.MG/9811079 – T C Hales, S McLaughlin
7 Some algorithms arising in the proof of the Kepler conjecture. Available as arXiv:math/0205209v1 – Thomas C Hales
7 Sphere packings. ii – Thomas C. Hales - 1997
3 Formalizing Plane Graph Theory -- Towards a Formalized Proof of the Kepler Conjecture – Gertrud Josefine Bauer - 2006
62 A computer-checked proof of the Four Colour Theorem. http://research. microsoft.com/ ∼ gonthier/4colproof.pdf – Georges Gonthier - 2006
27 Tóth, Regular figures – L Fejes - 1964