TY - BOOK AU - Hales, T. TI - Dense sphere packings: a blue print for formal proofs SN - 9780521617703 U1 - 510.646 PY - 2012/// CY - Cambridge PB - CUP KW - FORMAL PROOFS ER -