"Dense Sphere Packings: A Blueprint for Formal Proofs" von Thomas Hales ist ein Buch, das sich mit der mathematischen Theorie der Kugelpackungen beschäftigt. Insbesondere behandelt es das Kepler-Vermuten, das besagt, dass keine Anordnung...