scientific article
From MaRDI portal
Publication:2892718
zbMath1263.52001MaRDI QIDQ2892718
Publication date: 22 June 2012
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Packing and covering in (n) dimensions (aspects of discrete geometry) (52C17) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to convex and discrete geometry (52-01)
Related Items
A FORMAL PROOF OF THE KEPLER CONJECTURE, Kähler packings and Seshadri constants on projective complex surfaces, MizAR 40 for Mizar 40, Formalizing Physics: Automation, Presentation and Foundation Issues, The local optimality of the double lattice packing, Crystallographic texture and group representations, MATHEMATICAL INFERENCE AND LOGICAL INFERENCE, Rod-packing arrangements of invariant tori in solenoidal vector fields with cubic symmetries, MATHEMATICAL RIGOR AND PROOF, Big Math and the one-brain barrier: the tetrapod model of mathematical knowledge, Learning to Parse on Aligned Corpora (Rough Diamond), ON CONTACT NUMBERS OF LOCALLY SEPARABLE UNIT SPHERE PACKINGS, Automating formalization by statistical and semantic parsing of mathematics, On contact numbers of totally separable unit sphere packings, Mathematics and the formal turn, Typical large graphs with given edge and triangle densities, The magic of 8 and 24, Formalization of real analysis: a survey of proof assistants and libraries, Contact graphs of unit sphere packings revisited, Density bounds for outer parallel domains of unit ball packings, An introduction to mechanized reasoning, Long shortest vectors in low dimensional lattices, Towards a proof of the 24-cell conjecture, From Euclidean geometry to knots and nets, Verified Efficient Enumeration of Plane Graphs Modulo Isomorphism, Flyspeck, Metrically homogeneous graphs of diameter 3, An Approach to the Dodecahedral Conjecture Based on Bounds for Spherical Codes, Proof Auditing Formalised Mathematics
