The following pages link to Thomas C. Hales (Q684404):
Displaying 50 items.
- Remarks on the density of sphere packings in three dimensions (Q684405) (← links)
- Historical overview of the Kepler conjecture (Q734995) (← links)
- A formulation of the Kepler conjecture (Q734997) (← links)
- Sphere packings. III: Extremal cases (Q734998) (← links)
- Sphere packings. IV: Detailed bounds (Q734999) (← links)
- Sphere packings. VI: Tame graphs and linear programs (Q735001) (← links)
- On the Reinhardt conjecture (Q763577) (← links)
- The twisted endoscopy of \(GL(4)\) and \(GL(5)\): Transfer of Shalika germs (Q1345243) (← links)
- The status of the Kepler conjecture (Q1345650) (← links)
- (Q1364135) (redirect page) (← links)
- Sphere packings. II (Q1364136) (← links)
- The honeycomb conjecture (Q1592505) (← links)
- Sphere packings. I (Q2365323) (← links)
- A proof of the Kepler conjecture (Q2494223) (← links)
- (Q2756729) (← links)
- Endoscopic transfer of orbital integrals in large residual characteristic (Q2800423) (← links)
- The NSA Back Door to NIST (Q2813241) (← links)
- The Strong Dodecahedral Conjecture and Fejes Tóth’s Conjecture on Sphere Packings with Kissing Number Twelve (Q2848996) (← links)
- (Q2892718) (← links)
- Developments in Formal Proofs (Q2967791) (← links)
- The Work of Ngo Bao Chau (Q3001783) (← links)
- (Q3139071) (← links)
- (Q3409183) (← links)
- (Q3475501) (← links)
- The dodecahedral conjecture (Q3584349) (← links)
- (Q4015221) (← links)
- The subregular germ of orbital integrals (Q4017125) (← links)
- Unipotent Representations and Unipotent Classes SL(N) (Q4288905) (← links)
- (Q4317819) (← links)
- (Q4549245) (← links)
- The spherical Hecke algebra, partition functions, and motivic integration (Q4633617) (← links)
- Orbital integrals are motivic (Q4654072) (← links)
- (Q4662300) (← links)
- What is motivic measure? (Q4663498) (← links)
- (Q4709880) (← links)
- (Q4814392) (← links)
- (Q4826818) (← links)
- On the Fundamental Lemma for Standard Endoscopy: Reduction to Unit Elements (Q4863039) (← links)
- (Q4913079) (← links)
- Reminiscences by a Student of Langlands (Q5018465) (← links)
- Formal Proof of the Group Law for Edwards Elliptic Curves (Q5049006) (← links)
- Efficient Formal Verification of Bounds of Linear Programs (Q5200112) (← links)
- (Q5302558) (← links)
- The Jordan Curve Theorem, Formally and Informally (Q5448058) (← links)
- Equidecomposable Quadratic Regions (Q5453482) (← links)
- Theorem Proving in Higher Order Logics (Q5464666) (← links)
- The fundamental lemma for $Sp(4)$ (Q5690948) (← links)
- (Q5692712) (← links)
- Computational Discrete Geometry (Q5747847) (← links)
- Linear Programs for the Kepler Conjecture (Q5747875) (← links)
