Formalizing Some "Small" Finite Models of Projective Geometry in Coq.

David Braun Nicolas Magaud Pascal Schreck

Published in: AISC (2018)

Keyphrases

projective geometry
machine learning
three dimensional
viewpoint
special case
low cost
point correspondences
digital camera
cross ratio