Dense sphere packings: a blueprint for formal proofs by Hales, Thomas Callister fromLondon Mathematical Society lecture note series 0 Type: Book
La sphere, instrument au service de la decouverte du monde: d'Autolycos de Pitane a Jean de Sacrobosco by Aujac, Germaine fromVaria 0 Type: Book
