Login / Signup
Thomas Hales. Dense Sphere Packings: A Blueprint for Formal Proofs. Cambridge University Press, Cambridge, 2012, xiv + 271 pp.
Jeremy Avigad
Published in:
Bull. Symb. Log. (2014)
Keyphrases
</>
formal proofs
e learning
database
neural network
social networks
database systems
search algorithm
expert systems
evolutionary algorithm
san francisco