Mathematicians Thomas Hales and Samuel Ferguson reduced the Kepler conjecture to 1,762 geometric configurations to verify computationally

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

General research and information gathering from multiple sources