activity
20112021
most citedAlgorithmic randomness, reverse mathematics, and the dominated convergence theorem

32 citations · 80 across the 9 of their papers we have counts for

collaborators
Showing math.MGShow all

1 paper · 1 filter

math.MG2015

A formal proof of the Kepler conjecture

Thomas Hales, Mark Adams, Gertrud Bauer +19

This article describes a formal proof of the Kepler conjecture on dense sphere packings in a combination of the HOL Light and Isabelle proof assistants. This paper constitutes the…