opac header image

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
© 2024 Copyright: Customised and Maintained by Central Library NISER

Central Library, NISER Library Building, PO-Jatni, Khurda, Odisha - 752050, India | Email: libniser@niser.ac.in Phone: +91-674-2494171

Powered by Koha