8 - Tame Hypermap
from 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. 235 - 256Publisher: Cambridge University PressPrint publication year: 2012