Formalizing Constructive Projective Geometry in Agda.

Guillermo Calderón

Published in: LSFA (2017)

Keyphrases

projective geometry
cross ratio
computer vision
camera calibration
camera parameters
straight line
fractional programming
three dimensional
image planes
pose estimation
real time
image processing
lens distortion
least squares
structure from motion