Mathematics Atlas

How Proof Is Made
Sign In
Text size
100%
Theme

Mathematics Atlas

Recently Added

This atlas keeps a public record of its own growth: each day it publishes, how many facts it recorded, how many new entries and articles it added, and which entries grew, newest day first. It is not a list of individual facts; open a day's entries to see what each one gained.

Sunday, September 27, 2026

Recorded 710 new facts, 55 new entries and 0 new articles this day.

Hellmann-Feynman Theorem

4 new facts

New: Proof Year.

Turan-Kubilius Inequality

4 new facts

New: Proof Year, Statement Form.

Cartan-Hadamard Theorem

3 new facts

New: Proof Year, Statement Form.

Edgeworth's Limit Theorem

3 new facts

New: Proof Year, Statement Form.

Frisch-Waugh-Lovell Theorem

3 new facts

New: Proof Year, Statement Form.

Mohr-Mascheroni Theorem

3 new facts

New: Proof Year, Statement Form.

Taylor-Proudman Theorem

3 new facts

New: Proof Year, Statement Form.

Barbier's Theorem

2 new facts

New: Proof Year, Statement Form.

Bombieri-Lang Conjecture

2 new facts

New: Proposed Year.

Bondy's Theorem

2 new facts

New: Proof Year, Statement Form.

Chirikov Standard Map

2 new facts

New: Object Kind, Origin Year.

Cycle Double Cover Conjecture

2 new facts

New: Resolution Status, Resolved Year.

Denjoy-Young-Saks Theorem

2 new facts

New: Proof Year, Statement Form.

Diaconescu's Theorem

2 new facts

New: Proof Year, Statement Form.

Dinitz Theorem

2 new facts

New: Proof Year, Statement Form.

Entscheidungsproblem

2 new facts

New: Proof Year, Statement Form.

Frankova-Helly Selection Theorem

2 new facts

New: Proof Year, Statement Form.

Gauss-Lucas Theorem

2 new facts

New: Proof Year, Statement Form.

Goodstein's Theorem

2 new facts

New: Proof Year, Statement Form.

Grotzsch's Theorem

2 new facts

New: Proof Year, Statement Form.