Similar triangles and orientation in plane elementary geometry for Coq-based proofs.

Published in: SAC (2010)

Keyphrases

three dimensional
theorem prover
relative position
projective geometry
normal vectors
euclidean geometry
normal direction
point cloud
computer vision
straight line
geometric constraints
formal methods