papers
Publications (6)
astro-ph.CO2018
The Aemulus Project I: Numerical Simulations for Precision Cosmology
Joseph DeRose, Risa H. Wechsler, Jeremy L. Tinker +6
astro-ph.CO2018
The Aemulus Project II: Emulating the Halo Mass Function
Thomas McClintock, Eduardo Rozo, Matthew R. Becker +6
math.MG2008
A proof of the dodecahedral conjecture
Thomas C. Hales, Sean McLaughlin
math.MG2009
A revision of the proof of the Kepler conjecture
Thomas C. Hales, John Harrison, Sean McLaughlin +3
astro-ph.CO2018
The Aemulus Project III: Emulation of the Galaxy Correlation Function
Zhongxu Zhai, Jeremy L. Tinker, Matthew R. Becker +6
math.MG2015
A formal proof of the Kepler conjecture
Thomas Hales, Mark Adams, Gertrud Bauer +19