Publication:5690447
From MaRDI portal
zbMath1002.51503MaRDI QIDQ5690447
Publication date: 16 January 1997
51M05: Euclidean geometries (general) and generalizations
51B10: Möbius geometries
51A25: Algebraization in linear incidence geometry
Related Items
Heron's formula in higher dimensions, Geometric matrix algebra, Automated theorem proving practice with null geometric algebra