Formalizing Affinization of a Projective Plane in Agda.

Guillermo Calderón

Published in: CLEI (2021)

Keyphrases

projective transformations
reconstruction from multiple views
projective reconstruction
three dimensional
projective camera
planar curves
projective space
data mining
image sequences
partially occluded
projective geometry
camera self calibration