scientific article; zbMATH DE number 5064011
From MaRDI portal
Publication:5492562
zbMath1104.51001MaRDI QIDQ5492562
Publication date: 13 October 2006
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
homotopyorientable manifoldPappus's theoremCeva's theoremMenelaus' theoremincidence theoremsDesargues's theorem
Other designs, configurations (05B30) Arrangements of points, flats, hyperplanes (aspects of discrete geometry) (52C35) General theory of linear incidence geometry and projective geometries (51A05) Configuration theorems in linear incidence geometry (51A20)
Related Items
Nets of lines with the combinatorics of the square grid and with touching inscribed conics ⋮ Proofs and surfaces ⋮ Cancellation Patterns in Automatic Geometric Theorem Proving ⋮ Some Lemmas to Hopefully Enable Search Methods to Find Short and Human Readable Proofs for Incidence Theorems of Projective Geometry
This page was built for publication:
