Thomas Hales submitted his computational proof of the Kepler conjecture to the Annals of Mathematics in 1998

Science

The systematic study of the natural world through observation, experiment, and theory.

2,055 claims·1 news story