Dense sphere packings: a blue print for formal proofs
Hales, T.
Dense sphere packings: a blue print for formal proofs T. Hales - Cambridge CUP 2012 - xiv, 271p. pbk. - London mathematical society lecture note series 400 .
9780521617703
FORMAL PROOFS
510.646 / HAL-D
Dense sphere packings: a blue print for formal proofs T. Hales - Cambridge CUP 2012 - xiv, 271p. pbk. - London mathematical society lecture note series 400 .
9780521617703
FORMAL PROOFS
510.646 / HAL-D