|
gptkb:Generalized_Ramanujan_conjecture
|
GL(2) over number fields
|
|
gptkb:Arnold_conjecture
|
complex projective spaces
|
|
gptkb:Well-Ordering_Theorem
|
gptkb:Ernst_Zermelo
|
|
gptkb:schwache_Goldbachsche_Vermutung
|
gptkb:Harald_Helfgott
|
|
gptkb:Taniyama–Shimura_conjecture
|
1994
|
|
gptkb:Fundamental_theorem_of_algebra
|
gptkb:algebra
|
|
gptkb:Abel's_theorem_on_algebraic_equations
|
gptkb:Niels_Henrik_Abel
|
|
gptkb:Fermat's_Last_Theorem
|
gptkb:Andrew_Wiles
|
|
gptkb:Taniyama–Shimura–Weil_conjecture
|
1994
|
|
gptkb:Probabilistically_Checkable_Proofs_theorem
|
gptkb:Madhu_Sudan
|
|
gptkb:Hindman's_theorem
|
gptkb:ultrafilter
|
|
gptkb:Taniyama-Shimura_conjecture
|
Richard Taylor
|
|
gptkb:Spectral_Sparsification_and_Restricted_Invertibility
|
existence of spectral sparsifiers with few edges
|
|
gptkb:Generalized_Poincaré_conjecture
|
n = 4
|
|
gptkb:Tate's_theorem_on_the_Galois_cohomology_of_abelian_varieties_over_finite_extensions
|
gptkb:John_Tate
|
|
gptkb:Cubic_reciprocity
|
gptkb:Gauss
|
|
gptkb:Beilinson–Lichtenbaum_conjecture
|
others
|
|
gptkb:Robbins_conjecture
|
automated theorem proving
|
|
gptkb:Quartic_reciprocity
|
gptkb:Eisenstein
|
|
gptkb:Tate's_theorem_on_the_Galois_cohomology_of_abelian_varieties_over_real_closed_fields
|
vanishing of certain Galois cohomology groups
|