PART THREE - THE KEPLER CONJECTURE
Published online by Cambridge University Press: 05 October 2012
Summary
- Type
- Chapter
- Information
- Dense Sphere PackingsA Blueprint for Formal Proofs, pp. 143 - 144Publisher: Cambridge University PressPrint publication year: 2012