구쌓기와 원으로 채우기(sphere packing and circle packing)
개요
하위페이지
역사
메모
- Hales, Thomas, Mark Adams, Gertrud Bauer, Dat Tat Dang, John Harrison, Truong Le Hoang, Cezary Kaliszyk, et al. “A Formal Proof of the Kepler Conjecture.” arXiv:1501.02155 [cs, Math], January 9, 2015. http://arxiv.org/abs/1501.02155.
- http://www.math.utk.edu/~kens/
- http://www.math.fsu.edu/~aluffi/archive/paper356.pdf