INCIDENCE CONSTRAINTS: A COMBINATORIAL APPROACH

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)

zbMATH Keywords

projective geometrycombinatorial proofincidence constraintcompatible matroidhexamys

Mathematics Subject Classification ID

Numerical aspects of computer graphics, image analysis, and computational geometry (65D18)

Related Items (7)

Two cryptomorphic formalizations of projective incidence geometry ⋮ 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 ⋮ 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

• Conditions for Unique Graph Realizations
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: INCIDENCE CONSTRAINTS: A COMBINATORIAL APPROACH