Formalizing Projective Plane Geometry in Coq.

Nicolas Magaud Julien Narboux Pascal Schreck

Published in: Automated Deduction in Geometry (2008)

Keyphrases

projective geometry
projective space
three dimensional
euclidean geometry
point correspondences
projective transformations
formal methods
ground plane
relative position
projective reconstruction
pose estimation
geometric constraints
fundamental matrix
planar curves