Documents Related by Co-Citation

35 The packing of equal spheres – C A Rogers - 1958
16 The sphere packing problem – T C Hales - 1992
20 On the sphere packing problem and the proof of Kepler's conjecture – W-Y Hsiang - 1993
22 Sphere Packings I – Thomas C. Hales - 1996
39 L 1953 Lagerungen in der Ebene, auf der Kugel und im Raum – Fejes Toth
113 Packing and Covering – C A Rogers - 1964
25 Cannonballs and honeycombs – T C Hales - 2000
6 Remarks on the density of sphere packings in three dimensions – Thomas C Hales - 1993
33 On bounds for packings in n-dimensional Euclidean space, Doklady Akad – V I Levenshtein - 1979
37 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
716 Isabelle/HOL — A Proof Assistant for Higher-Order Logic, volume 2283 of LNCS – Tobias Nipkow, Lawrence C Paulson, Markus 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 – G Gonthier - 2005
27 Toth : Regular Figures – L Fejes - 1964
12 A new bound on the local density of sphere packings – D Muder - 1993
450 An introduction to interval computations – G Alefeld, J Herzberger - 1983