| Publication | Date of Publication | Type |
|---|
| Formal Proof of the Group Law for Edwards Elliptic Curves | 2022-11-09 | Paper |
| Reminiscences by a Student of Langlands | 2021-12-16 | Paper |
| The spherical Hecke algebra, partition functions, and motivic integration | 2019-05-03 | Paper |
| The Reinhardt Conjecture as an Optimal Control Problem | 2017-03-03 | Paper |
| Developments in Formal Proofs | 2017-03-02 | Paper |
| The Group Law for Edwards Curves | 2016-10-17 | Paper |
| The NSA Back Door to NIST | 2016-06-15 | Paper |
| Endoscopic transfer of orbital integrals in large residual characteristic | 2016-04-15 | Paper |
| Packings of Regular Pentagons in the Plane | 2016-02-23 | Paper |
| The Strong Dodecahedral Conjecture and Fejes Tóth’s Conjecture on Sphere Packings with Kissing Number Twelve | 2013-09-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4913079 | 2013-04-03 | Paper |
| A Proof of Fejes Toth's Conjecture on Sphere Packings with Kissing Number Twelve | 2012-09-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2892718 | 2012-06-22 | Paper |
| On the Reinhardt conjecture | 2012-03-29 | Paper |
| Efficient Formal Verification of Bounds of Linear Programs | 2011-07-29 | Paper |
| The Work of Ngo Bao Chau | 2011-05-31 | Paper |
| The fundamental lemma and the Hitchin fibration [after Ngo Bao Chau] | 2011-03-21 | Paper |
| Computational Discrete Geometry | 2010-09-14 | Paper |
| Linear Programs for the Kepler Conjecture | 2010-09-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5747965 | 2010-09-14 | Paper |
| The dodecahedral conjecture | 2010-08-27 | Paper |
| Historical overview of the Kepler conjecture | 2009-10-14 | Paper |
| A formulation of the Kepler conjecture | 2009-10-14 | Paper |
| Sphere packings. III: Extremal cases | 2009-10-14 | Paper |
| Sphere packings. IV: Detailed bounds | 2009-10-14 | Paper |
| Sphere packings. VI: Tame graphs and linear programs | 2009-10-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5302558 | 2009-01-07 | Paper |
| Equidecomposable Quadratic Regions | 2008-04-01 | Paper |
| The Jordan Curve Theorem, Formally and Informally | 2008-03-20 | Paper |
| Transfer Principle for the Fundamental Lemma | 2007-12-05 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3409183 | 2006-11-08 | Paper |
| A proof of the Kepler conjecture | 2006-06-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5692712 | 2005-09-28 | Paper |
| Theorem Proving in Higher Order Logics | 2005-08-18 | Paper |
| What is motivic measure? | 2005-03-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4662300 | 2005-03-30 | Paper |
| Orbital integrals are motivic | 2005-03-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4826818 | 2004-11-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4814392 | 2004-09-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4709880 | 2003-06-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4549245 | 2003-06-10 | Paper |
| The Honeycomb Problem on the Sphere | 2002-11-15 | Paper |
| Sphere Packings in 3 Dimensions | 2002-05-19 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2756729 | 2001-11-18 | Paper |
| The honeycomb conjecture | 2001-01-25 | Paper |
| Sphere packings. II | 1998-03-16 | Paper |
| Sphere packings. I | 1998-03-16 | Paper |
| The twisted endoscopy of \(GL(4)\) and \(GL(5)\): Transfer of Shalika germs | 1997-01-13 | Paper |
| The fundamental lemma for $Sp(4)$ | 1997-01-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4317819 | 1996-03-18 | Paper |
| On the Fundamental Lemma for Standard Endoscopy: Reduction to Unit Elements | 1996-02-04 | Paper |
| Unipotent Representations and Unipotent Classes SL(N) | 1995-04-18 | Paper |
| The status of the Kepler conjecture | 1995-03-08 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3139071 | 1995-01-23 | Paper |
| Remarks on the density of sphere packings in three dimensions | 1993-09-15 | Paper |
| The sphere packing problem | 1993-05-16 | Paper |
| The subregular germ of orbital integrals | 1993-01-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4015221 | 1992-12-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3475501 | 1989-01-01 | Paper |
| An overview of the Kepler conjecture | 0001-01-03 | Paper |
| The Formal Proof of the Kepler Conjecture: a critical retrospective | 0001-01-03 | Paper |
| Packings of Smoothed Polygons | 0001-01-03 | Paper |
