|
gptkb:Poincaré_conjecture_(higher_dimensions)
|
gptkb:Stephen_Smale
|
|
gptkb:g-theorem
|
gptkb:Louis_Billera
|
|
gptkb:Noisy-channel_coding_theorem
|
random coding argument
|
|
gptkb:Archimedes'_sphere_and_cylinder_theorem
|
exhaustion
|
|
gptkb:Kneser's_conjecture
|
topological methods
|
|
gptkb:Extreme_value_theorem
|
gptkb:Bernard_Bolzano
|
|
gptkb:Four_color_theorem
|
computer-assisted proof
|
|
gptkb:Mihăilescu's_Theorem
|
gptkb:Preda_Mihăilescu
|
|
gptkb:Erdős–Faber–Lovász_conjecture
|
gptkb:Benny_Sudakov
|
|
gptkb:weak_law_of_large_numbers
|
gptkb:Chebyshev's_inequality
|
|
gptkb:cubic_reciprocity
|
gptkb:Eisenstein
|
|
gptkb:Green–Tao_theorem
|
transference principle
|
|
gptkb:Adams'_theorem_on_Hopf_invariant_one
|
gptkb:J._F._Adams
|
|
gptkb:Taniyama-Shimura_conjecture
|
1994
|
|
gptkb:Medley_Brothers_Bourbon
|
103
|
|
gptkb:positive_energy_theorem
|
gptkb:Shing-Tung_Yau
|
|
gptkb:Berge's_conjecture
|
gptkb:Robin_Thomas
|
|
gptkb:On_Computable_Numbers,_with_an_Application_to_the_Entscheidungsproblem
|
undecidability of the Entscheidungsproblem
|
|
gptkb:Schoenflies_theorem
|
1906
|
|
gptkb:Base_Change_for_GL(n)
|
gptkb:Stephen_Gelbart
|