activity
20142020
most citedOn linear deformations of Brieskorn singularities of two variables into generic maps

1 citations · 1 across the 7 of their papers we have counts for

collaborators
Showing 2015Show 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…