Revision #893 → #1497 · back to history
addedProjective geometry (non-metrical)ac7ce7b84cd3
addedDuality in the projective plane1421470b22f1
addedProjective range4eb5295d0a60
addedDesargues' Theorem and Pappus's hexagon theorem3466b1f5dc8a
addedLine-field correspondence with point at infinityb3d23e10e4f6
addedFano plane PG(2,2)605443c43a37
addedPG(a,b) notation for finite projective geometry30beaeb3dbd5
addedElliptic incidence property52c70b43d26a
addedParallel postulates of elliptic, Euclidean, hyperbolic geometry2db968ca3985
addedPrinciple of duality (Gergonne)75eee2bf3918
addedDuality in 3 dimensions (points and planes)d20f4101918c
addedPascal's theoremfa65538ed00f
addedBrianchon's theorem2f71bb01153e
addedElliptic parallel axiom1910d8c38c32
addedWhitehead's axioms G1, G2, G32a853e1ff8c3
addedTernary collinearity axioms C0–C358a743f25955
addedLine via ternary relationf094bd2f2626
addedSubspace defined recursively1d91b2efd91f
addedIndependence of a point set6427ce7893de
addedMinimum dimension axioms L1–L4df13fc4f66a7
addedMaximum dimension axioms M1–M39c5e885c951b
addedAll coplanar lines intersect19208d1ab13d
addedAxioms P1, P2, P3 for projective planes2bba2097a3dc
addedHarmonic quadruple of points36e9f64d04b3
addedHarmonic quadruples preserved by perspectivity7265932a95d7
addedProjectivity as composition of perspectivities7ee3c643aacf
addedSteiner conic (projective conic)664e0c83e836
addedPole and polar of a point with respect to a conicfc48e7d6a66f