Automated Generation of Readable Proofs with Geometric Invariants.

Shang-Ching Chou Xiao-Shan Gao Jing-Zhong Zhang

Published in: J. Autom. Reason. (1996)

Keyphrases

geometric invariants
d objects
single view
automated theorem provers
image space
camera parameters