"Dense Sphere Packings: A Blueprint for Formal Proofs"

entries per page

Filter:

Showing 1 to 20 of 100 entries

Book	Author(s)	Year	Publisher
Dense Sphere Packings: A Blueprint for Formal Proofs	Thomas Hales	2012-09	Cambridge University Press
Sphere Packings	Chuanming Zong; John Talbot	1999	Springer New York
Sphere Packings, Lattices and Groups	John H. Conway; Neil J.A. Sloane	1988	Springer New York
Sphere Packings, Lattices and Groups	J. H. Conway, N. J. A. Sloane (auth.)	1988	Springer New York
Sphere Packings, Lattices and Groups	J. H. Conway; N. J. A. Sloane	2nd ed. 1993	Springer New York
Sphere Packings, Lattices and Groups	J. H. Conway; N. J. A. Sloane	3rd ed. 1999	Springer New York
Computer Arithmetic and Formal Proofs	Sylvie Boldo and Guillaume Melquiond	2017	Elsevier
Formal development of programs and proofs	E. W. Dijkstra	1990	Addison-Wesley
VHDL for Simulation, Synthesis and Formal Proofs of Hardware	Jean Mermet	1992	Springer US
Applied Logic for Computer Scientists: Computational Deduction and Formal Proofs	Mauricio Ayala-Rincón; Flávio L. C. de Moura	1st ed. 2017	Springer International Publishing
Proofs 101: An Introduction to Formal Mathematics	Joseph Kirtland	2020	Routledge
Blueprint for a Terrorist	Hardiman Scott	January 1986	Vanguard Press
A Blueprint for Geometry	Brad S. Fulton; Bill Lombard	February 1997	Dale Seymour Publications
Optimized Packings with Applications	Giorgio Fasano, János D. Pintér (eds.)	2015	Springer International Publishing
Optimized Packings with Applications	Giorgio Fasano; János D. Pintér	1st ed. 2015	Springer International Publishing
Blueprint for a Common School	W. Kenneth Richmond	1943	Routledge
Cublington: a blueprint for resistance.	David Perman	1973	Bodley Head
A Blueprint for Environmental Education	Jane S. Shaw	February 1999	Political Economy Research Center
Blueprint for a brighter child	Brandon Sparkman	1975	McGraw-Hill
A Blueprint for judicial reform	Patrick B. McGuigan; Randall R. Rader	1981	Free Congress Research & Education Foundation
Boook	Author(s)	Year	Publisher

Showing 1 to 20 of 100 entries

entries per page

Filter:

Showing 1 to 20 of 100 entries

Chapter	Author(s)	Book	Book Authors	Year	Publisher
Proofs on Unit Sphere Packings	Károly Bezdek	Lectures on Sphere Arrangements – the Discrete Geometric Side	Károly Bezdek	2013	Springer New York
Selected Proofs on Sphere Packings	Károly Bezdek	Classical Topics in Discrete Geometry	Károly Bezdek	2010	Springer New York
Sphere Packings	Daniele Micciancio; Shafi Goldwasser	Complexity of Lattice Problems: A Cryptographic Perspective	Daniele Micciancio; Shafi Goldwasser	2002	Springer US
Sphere Packings	Károly Bezdek	Classical Topics in Discrete Geometry	Károly Bezdek	2010	Springer New York
Sphere Packings		Algebraic geometry codes: advanced chapters	Michael A. Tsfasman	2019
Sphere Packings,		The Kepler Conjecture: The Hales-Ferguson Proof	Jeffrey C. Lagarias (auth.), Jeffrey C. Lagarias (eds.)	2011	Springer-Verlag New York
Asymptotically Dense Packings	M. A. Tsfasman; S. G. Vlăduţ	Algebraic-Geometric Codes	M. Tsfasman; S.G. Vladut	1991	Springer Netherlands
Sphere Packings, I	T. C. Hales	The Kepler Conjecture: The Hales-Ferguson Proof	Jeffrey C. Lagarias	2011	Springer New York
Sphere Packings, II	T. C. Hales	The Kepler Conjecture: The Hales-Ferguson Proof	Jeffrey C. Lagarias	2011	Springer New York
Unit Sphere Packings	Károly Bezdek	Lectures on Sphere Arrangements – the Discrete Geometric Side	Károly Bezdek	2013	Springer New York
Multiple Sphere Packings		Sphere Packings	Chuanming Zong; John Talbot	1999	Springer New York
Finite Sphere Packings		Sphere Packings	Chuanming Zong; John Talbot	1999	Springer New York
5 Sphere Packings		Complexity of Lattice Problems: A Cryptographic Perspective	Daniele Micciancio, Shafi Goldwasser	2012	Springer
3. Sphere Packings		Models in structural inorganic chemistry	A. F. Wells	1970	Clarendon P.
9. Sphere Packings		Models in structural inorganic chemistry	A. F. Wells	1970	Clarendon P.
Sphere Packings for Arbitrary Objects	René Weller	New Geometric Data Structures for Collision Detection and Haptics	René Weller	2013	Springer International Publishing
Contact Numbers for Sphere Packings	Károly Bezdek; Muhammad A. Khan	New Trends in Intuitive Geometry	Gergely Ambrus; Imre Bárány; Károly J. Böröczky; Gábor Fejes Tóth; János Pach	1st ed. 2018	Springer Berlin Heidelberg
6 Finding dense packings		Mathematics and Materials	Mark J. Bowick, David Kinderlehrer, Govind Menon, Charles Radin, Editors	2017	American Mathematical Society
Holes in Sphere Packings		Sphere Packings	Chuanming Zong; John Talbot	1999	Springer New York
Chapter 10. Sphere packings		Algebraic geometry codes: advanced chapters /	Tsfasman, M. A.; Vlăduț, S. G.; Nogin, Dmitry,		American Mathematical Society
Chapter	Author(s)	Book	Book Authors	Year	Publisher

Showing 1 to 20 of 100 entries

"Dense Sphere Packings: A Blueprint for Formal Proofs" - similar Books and Chapters