|
gptkb:Schoenflies_theorem
|
1906
|
|
gptkb:PCP_theorem
|
gptkb:Sanjeev_Arora
|
|
gptkb:Old_Forester_1920_Prohibition_Style
|
115
|
|
gptkb:Proof_of_Sato–Tate_conjecture
|
gptkb:Sato–Tate_conjecture
|
|
gptkb:Monsky's_theorem
|
2-adic valuation
|
|
gptkb:Upper_Bound_Theorem
|
gptkb:Peter_McMullen
|
|
gptkb:Maker's_46
|
94 proof
|
|
gptkb:Central_Limit_Theorem_(modern_form)
|
gptkb:Aleksandr_Lyapunov
|
|
gptkb:Tate's_theorem_on_the_Galois_cohomology_of_abelian_varieties_over_global_fields
|
duality between Galois cohomology groups of abelian varieties
|
|
gptkb:Eskin–Mirzakhani_theorem
|
gptkb:Alex_Eskin
|
|
gptkb:modularity_theorem
|
gptkb:Andrew_Wiles
|
|
gptkb:Sahlqvist_theorem
|
canonicity of Sahlqvist formulas
|
|
gptkb:Faltings's_theorem
|
gptkb:Gerd_Faltings
|
|
gptkb:Matiyasevich's_Theorem
|
gptkb:Yuri_Matiyasevich
|
|
gptkb:Segal_conjecture
|
gptkb:Gunnar_Carlsson
|
|
gptkb:CPT_theorem
|
gptkb:Gerhart_Lüders
|
|
gptkb:Prime_Number_Theorem_for_arithmetic_progressions
|
Wiener
|
|
gptkb:Ramanujan–Petersson_conjecture
|
gptkb:Pierre_Deligne
|
|
gptkb:Dirichlet's_Theorem
|
gptkb:Peter_Gustav_Lejeune_Dirichlet
|
|
gptkb:weak_law_of_large_numbers
|
gptkb:Chebyshev's_inequality
|