What Is a Line ?

DOI10.1007/978-3-642-25070-5_8zbMath1349.51003OpenAlexW62279691MaRDI QIDQ3102740

Dominique Michelucci

Publication date: 25 November 2011

Published in: Automated Deduction in Geometry (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-25070-5_8

Mathematics Subject Classification ID

Desarguesian and Pappian geometries (51A30)

Cites Work

• Mechanical theorem proving in geometries. Basic principles. Transl. from the Chinese by Xiaofan Jin and Dongming Wang
• Perspectives on Projective Geometry
• INCIDENCE CONSTRAINTS: A COMBINATORIAL APPROACH
• Unnamed Item
• Unnamed Item

This page was built for publication: What Is a Line ?