|
gptkb:five_color_theorem
|
mathematical induction
|
|
gptkb:Robbins_conjecture
|
automated theorem proving
|
|
gptkb:Trisection_of_the_angle
|
gptkb:Pierre_Wantzel
|
|
gptkb:Vinogradov's_mean_value_theorem
|
gptkb:Ivan_Vinogradov
|
|
gptkb:André–Oort_conjecture
|
gptkb:Jonathan_Pila
|
|
gptkb:Eskin–Mirzakhani_theorem
|
Amir Mohammadi
|
|
gptkb:Quartic_reciprocity
|
gptkb:Carl_Friedrich_Gauss
|
|
gptkb:Church's_undecidability_theorem
|
first-order logic is undecidable
|
|
gptkb:generalized_Poincaré_conjecture
|
n = 4
|
|
gptkb:P_vs_EXPTIME
|
gptkb:time_hierarchy_theorem
|
|
gptkb:Second_Fundamental_Theorem_of_Welfare_Economics
|
gptkb:Kenneth_Arrow
|
|
gptkb:Knob_Creek_Rye
|
100
|
|
gptkb:The_Maker's_Mark
|
90
|
|
gptkb:Ramanujan_conjecture
|
gptkb:Pierre_Deligne
|
|
gptkb:ternary_Goldbach_conjecture
|
gptkb:Harald_Helfgott
|
|
gptkb:Tate's_local_duality_theorem
|
perfect pairing between certain cohomology groups
|
|
gptkb:Base_Change_for_GL(n)
|
gptkb:James_Arthur
|
|
gptkb:Farrell-Jones_conjecture
|
virtually polycyclic groups
|
|
gptkb:Quadratic_reciprocity
|
gptkb:Carl_Friedrich_Gauss
|
|
gptkb:Kneser's_conjecture
|
topological methods
|