Conjecture listings
editProved:
Thurston's conjecture on circle packings - Real Fatou conjecture - Vitushkin conjecture - Lichnerowicz conjecture - Bochner conjecture - Bloch's conjecture - Penrose conjecture - Calabi conjecture - Calabi-Yau conjectures - Milin conjecture - Robertson conjecture - Robbins conjecture - Fontaine-Mazur conjecture - Abhyankar's conjecture - Gray's conjecture -
- Ward's conjecture Theorem (Schmidt). Suppose is a non-degenerate linear recurrence sequence of order . Then N(U) << ...
Disproved:
Open: