arXiv:1501.02155v1 [math.MG] 9 Jan 2015

First Page		Document Content
Date: 2015-01-11 20:23:30 Conjectures Discrete geometry Logic in computer science Formal methods Kepler conjecture Mathematical proof Proof assistant HOL Sphere packing Mathematics Theoretical computer science Logic		arXiv:1501.02155v1 [math.MG] 9 Jan 2015 Add to Reading List Source URL: arxiv.org Download Document from Source Website File Size: 174,87 KB Share Document on Facebook

	Engineering Nunchaku: A Modular Pipeline of Codecs Simon Cruanes 28th of June, 2016 Simon Cruanes DocID: 1rbOP - View Document
	Moment methods in extremal geometry David de Laat Delft University of Technology (Joint with Fernando Oliveira and Frank Vallentin) 51st Dutch Mathematical Congress DocID: 1r5LB - View Document
	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, DocID: 1pJHX - View Document
	A reprint from American Scientist the magazine of Sigma Xi, The Scientific Research Society DocID: 1pAhS - View Document
	Moment methods in energy minimization David de Laat Delft University of Technology (Joint with Fernando Oliveira and Frank Vallentin) L´aszl´ DocID: 1pxqi - View Document