INCIDENCE CONSTRAINTS: A COMBINATORIAL APPROACH
From MaRDI portal
Publication:3422215
DOI10.1142/S0218195906002130zbMath1105.65311MaRDI QIDQ3422215
Pascal Schreck, Dominique Michelucci
Publication date: 9 February 2007
Published in: International Journal of Computational Geometry & Applications (Search for Journal in Brave)
65D18: Numerical aspects of computer graphics, image analysis, and computational geometry
Related Items
Formalizing Some “Small” Finite Models of Projective Geometry in Coq, Body-and-cad geometric constraint systems, A case study in formalizing projective geometry in Coq: Desargues theorem, Two cryptomorphic formalizations of projective incidence geometry, A Formalization of Grassmann-Cayley Algebra in COQ and Its Application to Theorem Proving in Projective Geometry, Some Lemmas to Hopefully Enable Search Methods to Find Short and Human Readable Proofs for Incidence Theorems of Projective Geometry, What Is a Line ?
Cites Work