Theorems, proofs and the people who found them

How Proof Is Made

Branches, theorems, concepts and the mathematicians who built them, each result traced to what it depends on and what depends on it in turn, down to the conjectures still waiting on a proof.

Browse the Directory Compare theorems

9Systems 477Entries

2,411Sourced facts

Browse by Branch

Every section of the atlas.

What you can do here

Explore & connect

Open any entry and follow it outward through everything it touches: the theorems it depends on, the mathematicians who proved it and the concepts it makes possible. See what cites it in return.

Compare theorems

Set two or more theorems, branches or concepts side by side and see where their proofs, their assumptions and their consequences actually overlap.

An Open Question

A gap nobody has closed yet, rotated daily.

History of technology

Who should be credited as radar's inventor: Christian Hulsmeyer's 1904 patent, Robert Watson-Watt's 1935 Daventry Experiment, or one of the other near-simultaneous 1930s national radar programs in Germany, France, the United States or the Soviet Union?

See This Question

Switch Atlas

The Inner World

The Civil World

The Natural World

How Proof Is Made

Browse by Branch

Browse by Branch

Mathematicians

Theorems

Conjectures

Concepts

What you can do here

Explore & connect

Compare theorems

An Open Question

Who should be credited as radar's inventor: Christian Hulsmeyer's 1904 patent, Robert Watson-Watt's 1935 Daventry Experiment, or one of the other near-simultaneous 1930s national radar programs in Germany, France, the United States or the Soviet Union?