NewEvery arXiv paper, its researchers & institutions — mapped.
papers

Publications (2)

cs.LO2013

Formal Verification of Nonlinear Inequalities with Taylor Interval Approximations

Alexey Solovyev, Thomas C. Hales

math.MG2015

A formal proof of the Kepler conjecture

Thomas Hales, Mark Adams, Gertrud Bauer +19