| Publication | Date of Publication | Type |
|---|
Formal Proof of the Group Law for Edwards Elliptic Curves
Automated Reasoning | 2022-11-09 | Paper |
Reminiscences by a Student of Langlands
| 2021-12-16 | Paper |
The spherical Hecke algebra, partition functions, and motivic integration
Transactions of the American Mathematical Society | 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
Notices of the American Mathematical Society | 2016-06-15 | Paper |
Endoscopic transfer of orbital integrals in large residual characteristic
American Journal of Mathematics | 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
Discrete Geometry and Optimization | 2013-09-13 | Paper |
scientific article; zbMATH DE number 6149583 (Why is no real title available?)
| 2013-04-03 | Paper |
A Proof of Fejes Toth's Conjecture on Sphere Packings with Kissing Number Twelve
| 2012-09-26 | Paper |
Dense sphere packings. A blueprint for formal proofs
London Mathematical Society Lecture Note Series | 2012-06-22 | Paper |
On the Reinhardt conjecture
Vietnam Journal of Mathematics | 2012-03-29 | Paper |
Efficient formal verification of bounds of linear programs
Lecture Notes in Computer Science | 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
Mathematical Software – ICMS 2010 | 2010-09-14 | Paper |
Linear Programs for the Kepler Conjecture
Mathematical Software – ICMS 2010 | 2010-09-14 | Paper |
scientific article; zbMATH DE number 5785666 (Why is no real title available?)
| 2010-09-14 | Paper |
The dodecahedral conjecture
Journal of the American Mathematical Society | 2010-08-27 | Paper |
A formulation of the Kepler conjecture
Discrete & Computational Geometry | 2009-10-14 | Paper |
Historical overview of the Kepler conjecture
Discrete & Computational Geometry | 2009-10-14 | Paper |
Sphere packings. III: Extremal cases
Discrete & Computational Geometry | 2009-10-14 | Paper |
Sphere packings. IV: Detailed bounds
Discrete & Computational Geometry | 2009-10-14 | Paper |
Sphere packings. VI: Tame graphs and linear programs
Discrete & Computational Geometry | 2009-10-14 | Paper |
Formal proof
| 2009-01-07 | Paper |
Equidecomposable Quadratic Regions
Automated Deduction in Geometry | 2008-04-01 | Paper |
The Jordan Curve Theorem, Formally and Informally
The American Mathematical Monthly | 2008-03-20 | Paper |
Transfer Principle for the Fundamental Lemma
| 2007-12-05 | Paper |
A statement of the fundamental lemma
| 2006-11-08 | Paper |
A proof of the Kepler conjecture
Annals of Mathematics. Second Series | 2006-06-19 | Paper |
scientific article; zbMATH DE number 2209729 (Why is no real title available?)
| 2005-09-28 | Paper |
Theorem Proving in Higher Order Logics
Lecture Notes in Computer Science | 2005-08-18 | Paper |
What is motivic measure?
Bulletin of the American Mathematical Society | 2005-03-31 | Paper |
scientific article; zbMATH DE number 2149783 (Why is no real title available?)
| 2005-03-30 | Paper |
Orbital integrals are motivic
Proceedings of the American Mathematical Society | 2005-03-01 | Paper |
scientific article; zbMATH DE number 2115452 (Why is no real title available?)
| 2004-11-12 | Paper |
scientific article; zbMATH DE number 2098035 (Why is no real title available?)
| 2004-09-07 | Paper |
scientific article; zbMATH DE number 1930476 (Why is no real title available?)
| 2003-06-19 | Paper |
scientific article; zbMATH DE number 1789934 (Why is no real title available?)
| 2003-06-10 | Paper |
The Honeycomb Problem on the Sphere
| 2002-11-15 | Paper |
Sphere Packings in 3 Dimensions
| 2002-05-19 | Paper |
Cannonballs and honeycombs.
Notices of the American Mathematical Society | 2001-11-18 | Paper |
The honeycomb conjecture
Discrete & Computational Geometry | 2001-01-25 | Paper |
Sphere packings. II
Discrete & Computational Geometry | 1998-03-16 | Paper |
Sphere packings. I
Discrete & Computational Geometry | 1998-03-16 | Paper |
The twisted endoscopy of \(GL(4)\) and \(GL(5)\): Transfer of Shalika germs
Duke Mathematical Journal | 1997-01-13 | Paper |
The fundamental lemma for $Sp(4)$
Proceedings of the American Mathematical Society | 1997-01-09 | Paper |
scientific article; zbMATH DE number 705069 (Why is no real title available?)
| 1996-03-18 | Paper |
On the Fundamental Lemma for Standard Endoscopy: Reduction to Unit Elements
Canadian Journal of Mathematics | 1996-02-04 | Paper |
Unipotent Representations and Unipotent Classes SL(N)
American Journal of Mathematics | 1995-04-18 | Paper |
The status of the Kepler conjecture
The Mathematical Intelligencer | 1995-03-08 | Paper |
scientific article; zbMATH DE number 432931 (Why is no real title available?)
| 1995-01-23 | Paper |
Remarks on the density of sphere packings in three dimensions
Combinatorica | 1993-09-15 | Paper |
The sphere packing problem
Journal of Computational and Applied Mathematics | 1993-05-16 | Paper |
The subregular germ of orbital integrals
Memoirs of the American Mathematical Society | 1993-01-16 | Paper |
scientific article; zbMATH DE number 79351 (Why is no real title available?)
| 1992-12-16 | Paper |
scientific article; zbMATH DE number 4144292 (Why is no real title available?)
| 1989-01-01 | Paper |
An overview of the Kepler conjecture
| N/A | Paper |
The Formal Proof of the Kepler Conjecture: a critical retrospective
| N/A | Paper |
Packings of Smoothed Polygons
| N/A | Paper |
