Kepler conjecture - PDFSEARCH.IO - Document Search Engine

Kepler conjecture
Results: 28

#	Item
1	Engineering Nunchaku: A Modular Pipeline of Codecs Simon Cruanes 28th of June, 2016 Simon Cruanes Add to Reading List Source URL: cedeela.fr Language: English - Date: 2016-06-28 05:58:53 Software engineering Software Proof assistants Theoretical computer science Functional languages Automated theorem proving Logic in computer science Nunchaku Isabelle HOL Coq Kepler conjecture
2	Moment methods in extremal geometry David de Laat Delft University of Technology (Joint with Fernando Oliveira and Frank Vallentin) 51st Dutch Mathematical Congress Add to Reading List Source URL: www.daviddelaat.nl Language: English Mathematics Geometry Discrete geometry NP-complete problems Circle packing Conjectures Operations research Sphere packing Independent set Tammes problem Kepler conjecture Semidefinite programming
3	Moment methods in extremal geometry Proefschrift ter verkrijging van de graad van doctor aan de Technische Universiteit Delft, op gezag van de Rector Magnificus prof. ir. K.C.A.M. Luyben, Add to Reading List Source URL: www.daviddelaat.nl Language: English Mathematical optimization Operations research Discrete geometry Convex optimization Packing problems Sphere packing Semidefinite programming Linear programming Conic optimization Relaxation Kepler conjecture Optimization problem
4	A reprint from American Scientist the magazine of Sigma Xi, The Scientific Research Society Add to Reading List Source URL: labs.cas.usf.edu Language: English - Date: 2012-10-16 19:18:56 Spheres Discrete geometry Packing problems Crystallography Sphere packing Differential topology Close-packing of equal spheres Kissing number problem 3-sphere Kepler conjecture Sphere Celestial spheres
5	Moment methods in energy minimization David de Laat Delft University of Technology (Joint with Fernando Oliveira and Frank Vallentin) L´aszl´ Add to Reading List Source URL: www.daviddelaat.nl Language: English Operations research Discrete geometry NP-complete problems Conjectures Circle packing Sphere packing Independent set Kepler conjecture Tammes problem Mathematical optimization Semidefinite programming FranklRdl graph
6	Moment methods in energy minimization David de Laat CWI Amsterdam Andrejewski-Tage Moment problems in theoretical physics Add to Reading List Source URL: www.daviddelaat.nl Language: English Operations research Discrete geometry NP-complete problems Conjectures Circle packing Sphere packing Independent set Kepler conjecture Tammes problem Mathematical optimization Semidefinite programming FranklRdl graph
7	PHYSICAL REVIEW E 79, 041309 共2009兲 Optimal packings of superballs Y. Jiao,1 F. H. Stillinger,2 and S. Torquato2,3,4,5 1 Add to Reading List Source URL: cherrypit.princeton.edu Language: English - Date: 2009-04-29 16:40:44 Mathematics Chemistry Condensed matter physics Lattice points Spheres Sphere packing Packing problem Kepler conjecture Crystal structure Geometry Crystallography Discrete geometry
8	PHYSICAL REVIEW E 81, 041305 共2010兲 Densest local sphere-packing diversity: General concepts and application to two dimensions Adam B. Hopkins and Frank H. Stillinger Department of Chemistry, Princeton University, P Add to Reading List Source URL: cherrypit.princeton.edu Language: English - Date: 2010-04-20 14:04:09 Crystallography Spheres Sphere packing Packing problem Close-packing of equal spheres Kepler conjecture Sphere Kissing number problem N-sphere Geometry Discrete geometry Mathematics
9	REVIEWS OF MODERN PHYSICS, VOLUME 82, JULY–SEPTEMBERJammed hard-particle packings: From Kepler to Bernal and beyond S. Torquato* Department of Chemistry, Department of Physics, Princeton Center for Theoretical S Add to Reading List Source URL: cherrypit.princeton.edu Language: English - Date: 2010-10-21 10:32:14 Crystallography Spheres Sphere packing Packing problem Random close pack Kepler conjecture Close-packing of equal spheres Tetrahedron packing Discrete geometry Geometry Mathematics
10	New Conjectural Lower Bounds on the Optimal Density of Sphere Packings S. Torquato and F. H. Stillinger CONTENTS 1. 2. Add to Reading List Source URL: cherrypit.princeton.edu Language: English - Date: 2008-12-08 18:20:02 Discrete geometry Spheres Fourier analysis Crystallography Sphere packing Quadratic forms Packing problem Leech lattice Kepler conjecture Geometry Mathematics Mathematical analysis

UPDATE