|
gptkb:Birkhoff_ergodic_theorem
|
gptkb:George_David_Birkhoff
|
|
gptkb:Probabilistically_Checkable_Proofs_theorem
|
gptkb:Sanjeev_Arora
|
|
gptkb:schwache_Goldbachsche_Vermutung
|
gptkb:Harald_Helfgott
|
|
gptkb:Prime_decomposition_theorem
|
gptkb:Carl_Friedrich_Gauss
|
|
gptkb:Riemannian_Gauss–Bonnet_theorem
|
gptkb:Chern_Shiing-Shen
|
|
gptkb:g-theorem
|
gptkb:Carl_W._Lee
|
|
gptkb:Gallai's_conjecture
|
trees
|
|
gptkb:prime_number_theorem_for_arithmetic_progressions
|
gptkb:Hadamard
|
|
gptkb:Kronecker–Weber_theorem_(local_case)
|
gptkb:Leopoldt
|
|
gptkb:Willmore_conjecture
|
gptkb:André_Neves
|
|
gptkb:Große_Vermutung_von_Fermat
|
gptkb:Andrew_Wiles
|
|
gptkb:fundamental_theorem_of_algebraic_K-theory_for_K_0_and_K_1
|
gptkb:Daniel_Quillen
|
|
gptkb:Lichtenbaum–Quillen_conjecture
|
Vladimir Voevodsky (for some cases)
|
|
gptkb:Taniyama-Shimura_conjecture
|
Richard Taylor
|
|
gptkb:Tate's_local_duality_theorem
|
perfect pairing between certain cohomology groups
|
|
gptkb:Brouwer_fixed-point_theorem
|
gptkb:L._E._J._Brouwer
|
|
gptkb:Herbrand–Ribet_theorem
|
gptkb:Kenneth_Ribet
|
|
gptkb:Poincaré_conjecture_(higher_dimensions)
|
n > 3
|
|
gptkb:Proof_of_the_Poincaré_conjecture
|
gptkb:Poincaré_conjecture
|
|
gptkb:cubic_reciprocity
|
gptkb:Gauss
|