Revision #339 → #1630 · back to history
addedConcept of infinity (Yajurveda)6edfe373976b
addedIrrationality of the square root of twof38ba49aa3e5
addedClassification of numbers and types of infinity636bf2175aab
addedMethod of exhaustion28211c326301
addedEuclid: infinitude of primes, Euclidean algorithm, fundamental theorem of arithmetic0b535d8a1287
addedArchimedes: area of a circle and parabola, bounds on π6158efe2a188
addedSieve of Eratosthenesa1f4f73dbdfd
addedGaussian elimination57af2182150d
addedHorner's methodd4cfc7c8808e
addedPappus's hexagon theorem and centroid theorem653b7ee54b77
addedChinese remainder theorem277d0a77e33f
addedDefinition of sine and cosine94c233da3b5f
addedSolving indeterminate equations of the second degree776a6bc15b2f
addedBrahmagupta's identity and Brahmagupta theorem62ce45f40534
addedVolume of a sphere3a71c2b10cff
addedNewton-Gauss interpolation formula50f32a4dcd3e
addedThābit ibn Qurra theorem on amicable numbersadd23ebd7ff9
addedTangent, secant and inverse trigonometric ratios5beb26c76645
addedBinomial theorem for integer exponents91a859b32c0e
addedSpecial case of Fermat's Last Theorem7b6acbd652fd
addedLaw of sinescb7140975685
addedProofs by mathematical inductionb5d24e7531d4
addedAngle addition formula for sined30130b48b83
addedAlhazen's problem70263a7ece54
addedClassification of cubic equations (Khayyám)36621c3bf2ff
addedA positive number has two square rootsc14b985114e3
addedChakravala method for Pell's equation1fc135393fac
addedEarly form of Rolle's theoremc452215900f6
addedPower series (Madhava / Taylor series)7d9511aefd14
addedMean value theorem of differential calculuscd5d109da776
addedSeries expansion for the inverse-tangent function8fd7df295321
addedSolution of the quartic equation83f1820dea9b
addedGeneral solution of cubic equations66eae75efff6
addedKepler-Poinsot polyhedra4fd6fe2b30f7
addedArea under a cycloidbb4273a1f144
addedFermat's Last Theorem (claim)9fbd895661a9
addedDescartes' theorem41a6d3659d6d
addedLength of a cycloid4623de50e3e4
addedFundamental theorem of calculuscb803d3d87f6
addedInfinite series for the logarithm21c824c23fb7
addedGregory series for inverse tangentbbf4208e0c93
addedTaylor's theorem4725760c64f5
addedSeparation of variables416eda247968
addedL'Hôpital's ruledaed98baa4e2
addedBrachistochrone problem415f9563759b
addedBernoulli numbers71abe94e4a64
addedTaylor seriesaafa96badc04
addedDe Moivre's formula234036ca4f56
addedNormal distribution31b7894facda
addedBasel problem9055655b4232
addedSeven Bridges of Königsberg50dbe94063bf
addedLinear ODE with constant coefficients532be902f05a
addedGoldbach's conjecture9d8b690e2aec
addedVibrating string problemd7cf82ee4a36
addedBayes' theorem4812a36a8eee
addedπ is irrational9d1eb529e553
addedDivergence theorem4f4966373ef4
addedConstructibility of the regular 17-gon3f3caa4d88cb
addedPrime number theorem (conjecture)b738afd194ba
addedFundamental theorem of algebrac2f4286a3a6d
addedAbel–Ruffini theorem (partial)fc32a9ffca2b
addedIntermediate value theorem8cf4e3c27c80
added(ε, δ)-definition of limit3f80a2f1dcd5
addedPointwise limit of continuous functions (Cauchy's claim)8dc14827edbe
addedCauchy's integral theoremd1c96e784eea
addedSophie Germain's theorem72844d6fb129
addedAbel–Ruffini theoremf898ed53c5c3
addedTheory of residues10bd9146fc0e
addedFermat's Last Theorem for n = 5850b546b2818
addedStokes' theorema7e22a3263fd
addedCounterexamples to Cauchy's continuity claime5a06dd2a8b2
addedGreen's theorem190a5663691b
addedHyperbolic non-Euclidean geometryc2f0e8e0665c
addedFirst proof of the divergence theorem0c97c3726551
addedSolvability of algebraic equations (Galois)ab6ad624a56c
addedFermat's Last Theorem for n = 14e70dc81147a3
addedDirichlet's theorem on primes in arithmetic progressions3fb579f6e392
addedImpossibility of doubling the cube and trisecting the angle1e43529553d6
addedUniform convergence5cb8de5ac200
addedLaurent expansion theoremaf5c784044f4
addedQuaternions (non-commutative)dd283cd95fb8
addedBoolean algebra398f37410312
addedSolitary waves from periodic waves9b4b507078f3
addedEssential singular points61758023a4d1
addedRiemannian geometry99e92fab411e
addedQuaternions represent 4D rotations4fe9bec219e0
addedMöbius strip75e04faa664f
addedGeneral quintic via elliptic/modular functionsa196094b218f
addedRiemann hypothesis52b28a7bdf15
addedIndependence of the parallel postulatec8fe94ce01e5
addedDedekind cut5a54e71224f1
addede is transcendental681164dcf296
addedUncountability of the realsbb36d5c52ef2
addedπ is transcendental33a1250755e8
addedKlein bottle46f2173952b8
addedKorteweg–de Vries equation210a411ba0a5
addedContinuum hypothesis9cc51d8f1195
addedPrime number theorem (proof)c3dd00276402
addedExterior derivative306f84f98667
addedRiemann problem (Plemelj)b8ace3645e5b
addedBrouwer fixed-point theorem7dd1b6239136
addedNoether's symmetry theorema1ed9cb28a5f
addedRamanujan conjecturef5725d7141ef
addedBrun's constantd23b4fb0dc43
addedGeneral definition of a commutative ring32b4a465802f
addedMinimax theoremc4172e38cfec
addedThree-cottage problem has no solutionae6cbb90d90d
addedGödel's incompleteness theorem55084addf129
addedBorsuk–Ulam theoremb558115bb13f
addedAxiomatization of probability253b029f7208
addedλ-calculus and Turing machine9be8d7b694dc
addedIndependence of CH and AC (consistency)8619dd9a305b
addedArf invariant4be9ceb7414b
addedEilenberg–Steenrod axiomsebcc99e49be9
addedWeil conjectures8dea37b260a5
addedComplete list of uniform polyhedra868ab0bfead6
addedExistence of an exotic spheref1d29b71196b
addedCrease-free sphere eversion06d8ca9f5ec1
addedGrothendieck–Riemann–Roch theorem0db3d16ca50b
addedPoincaré conjecture for dimensions ≥ 5a55be4c4150f
addedIndependence of CH and AC (forcing)aaba482dfc12
addedLanglands program of conjecturesb73a266f93a4
addedAtiyah–Singer index theoremfbd88196199b
addedNo general algorithm for Diophantine equations (Hilbert's 10th)42c23472b22b
addedWeil conjectures (Deligne's proof)a35fd25bcced
addedFour color theoremf08709bf5fe7
addedMordell conjecturef9ad6d80e2e3
addedJones polynomial4a8b6324e831
addedBieberbach conjecture505601999083
addedRibet's theoremc30e90581e71
addedTaniyama–Shimura conjecture and Fermat's Last Theoremd4e65121b6c8
addedBailey–Borwein–Plouffe formula35edc0bf25de
addedKepler conjecture6cf200ac21e5
addedFull Taniyama–Shimura conjectureab89c0d585de
addedAKS primality test1dfb2a6574c2
addedCatalan's conjecture579fe5c70b53
addedPoincaré conjecture (Perelman)c505d1d6e749
addedClassification of finite simple groups47b4a59cb178
addedGreen–Tao theorem3e9ada28c62c
addedFundamental lemma (Langlands program)00dbb9b5593f
addedErdős distinct distances problemfcb32bf83e1d
addedFirst finite bound on prime gaps241dc0f01d6d
addedErdős discrepancy problem548cdb275460
addedGraph isomorphism quasipolynomial algorithm9483be0ad909
addedSphere packing in dimension 8865e10739ae3
addedDisproof of the Milnor conjectured76a46f036e7