WikiLeanRecent changes · Proposals · Flags · Stats · About

Diff — Elliptic geometry

Revision #130 → #1182 · back to history

addedElliptic geometry (no parallel lines)25962e6d3c59
addedSingle vs. double elliptic geometry49c83a0cf61e
addedTriangle angle sum exceeds 180°b8808f42fbe5
addedDerivation from spherical geometrye7baf579a887
addedAbsolute pole of a lineec9df6ad01ae
addedAbsolute polar line and quadrant30606588a270
addedDistance proportional to polar angle774093386006
addedElliptic vs. hyperbolic plane (naming)88489ece3b08
addedElliptic plane5ada660560c4
addedProjective axiom confirmed09c3b6b1173a
addedElliptic distancef579f7215554
addedLine segments cannot scale indefinitely9e54af505f85
addedEuclid's postulates carried over085e42277609
addedSpace is homogeneous and boundlessaa85160c42da
addedTriangle angle sum and 90-90-90 trianglef4119945343e
addedPythagorean theorem failsce97ef4be239
addedCircumference-to-area ratioca328d2b58ae
addedEquipollence of directed arcs63133d6ff234
addedEuler's formula as a great circle8c583417990b
addedArc length bounded by π6f61f595ada0
addedModulus (norm) of z equals oneac1d4a0560ee
addedVersor1e145e090e2d
addedVersors forming an elliptic lineb16ebc24adb8
addedDistance via scalar part of quaternion3776fd17f7dc
addedElliptic motioneff55885dc68
addedElliptic motions preserve distancecbf12b933394
addedConjugate versors give spatial rotation4e469a94b4e8
addedClifford translation (parataxy)c097cb1d5de5
addedClifford translations along elliptic lines6d0cb1fe22ff
addedElliptic space from S³297cfc9d03de
addedClifford parallels and surfacesfcc3d53109bf
addedCayley transform of versor pointscf5bf06f2312
addedHyperspherical model pointsb2cf65f86360
addedLines as great circles2f530c469d4c
addedProjective model of elliptic geometryc65d43d12847
addedPoints as lines through origine4a5dcbed599
addedDistance as angle between lines7a63c1d319da
addedNon-orientability in even dimensionse29d04f10561
addedStereographic model and chordal metric18c73f0e0c0b
addedBijective stereographic correspondenceb2f16c681b8b
addedSpherical geometry metric1ce358438c3c
addedElliptic metric by antipodal identificatione798e96a5196
addedRelative consistency of elliptic geometryb284d2ff9b7f
addedTarski's completeness of Euclidean geometry2049f2acf495
addedElliptic geometry consistent and complete1f785af171a5