|
gptkb:Kronecker-Weber_theorem
|
gptkb:Heinrich_Weber
|
|
gptkb:Interactive_Polynomial_time
|
gptkb:Nisan
|
|
gptkb:g-theorem
|
gptkb:Carl_W._Lee
|
|
gptkb:Mihăilescu's_theorem
|
gptkb:Preda_Mihăilescu
|
|
gptkb:Prime_Number_Theorem
|
gptkb:Jacques_Hadamard
|
|
gptkb:Base_change_for_GL(2)
|
gptkb:Arthur
|
|
gptkb:Fermat's_Last_Theorem_(proved_by_Wiles)
|
gptkb:Andrew_Wiles
|
|
gptkb:Strong_Perfect_Graph_Theorem
|
gptkb:Neil_Robertson
|
|
gptkb:Frobenius_theorem_(real_division_algebras)
|
1877
|
|
gptkb:Bieberbach_conjecture
|
gptkb:Louis_de_Branges
|
|
gptkb:Generalized_Poincaré_conjecture
|
gptkb:Grigori_Perelman
|
|
gptkb:Aizenman–Barsky_theorem
|
David J. Barsky
|
|
gptkb:Church's_undecidability_theorem
|
first-order logic is undecidable
|
|
gptkb:Base_change_for_GL(2)
|
gptkb:Clozel
|
|
gptkb:CPT_theorem
|
gptkb:Gerhart_Lüders
|
|
gptkb:Prime_number_theorem_for_arithmetic_progressions
|
gptkb:de_la_Vallée-Poussin
|
|
gptkb:Four_color_theorem
|
computer-assisted proof
|
|
gptkb:Mihăilescu's_Theorem
|
gptkb:Preda_Mihăilescu
|
|
gptkb:prime_number_theorem_for_arithmetic_progressions
|
gptkb:de_la_Vallée-Poussin
|
|
gptkb:g-theorem
|
gptkb:Richard_Stanley
|