WikiLeanRecent changes · Proposals · Flags · Stats · About

Diff — Geometry

Revision #154 → #1265 · back to history

addedGeometrycb58e37a6832
addedTheorema Egregium07109409fa76
addedVolume of a frustum (Moscow Papyrus)2ea70c6041dc
addedBrahmagupta's theorem on diagonals of a cyclic quadrilateral96a712bd31dc
addedBrahmagupta's formula (area of a cyclic quadrilateral)07878ff98a10
addedAxioms / axiomatic geometry3e567efa1c5a
addedPointab0e3eed351b
addedWhitehead's point-free geometryc79f30e64c0b
addedLinef70fc451c9b6
addedGeodesiccb170bc2937c
addedPlaneba37bd0e1f68
addedCurve8791d3848b13
addedCurve (topology)bcf0d416039e
addedAlgebraic curve48639fdbd019
addedSurface176b564494bd
addedSolid18fae807af0b
addedManifold6ff36f3822ed
addedManifold (topology)a60b40ce3cb1
addedDifferentiable manifold2ccf1f430b59
addedAngle (Euclid)0c253df21b7f
addedAngle (modern)58627d06d259
addedLength, area, and volume651d57da3558
addedLength of a line segment via the Pythagorean theoremf7518eba052c
addedArea and volume via integrals5859eec43ff7
addedMetric4febd8194bd4
addedMeasure theorycffde5200b65
addedCongruence and similarity94767e5c2fa8
addedConfiguration space of a screw7f7f70ead2f6
addedSymmetry determines geometry (Erlangen program)95f0acb951be
addedPrinciple of duality in projective geometry1e8a65e663a1
addedEuclidean geometryb209da2efa46
addedDifferential geometry2b83a5230a08
addedNon-Euclidean geometry71310ad224c0
addedTopologyf0ccaf7c95df
addedAlgebraic geometry39d05f71443c
addedHilbert's Nullstellensatzbcba281f1341
addedComplex geometryabf813bab2fc
addedDiscrete geometryb2dc2989fbcf
addedComputational geometryce0ec3ce87d9
addedGeometric group theory20a6e0cb0d54
addedAgol's proof of the virtually Haken conjecture427932fdd315
addedConvex geometrya63ee229b178
addedConvexity (Archimedes)959ae8ad4b66