Formalization of Geometric Algebra in HOL Light.

Li-Ming Li Zhi-Ping Shi Yong Guan Qianying Zhang Yong-Dong Li

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

Keyphrases

geometric algebra
pose estimation
formal methods
mathematical framework
conformal geometric algebra
formal model
knowledge representation
theorem prover
theorem proving
formal analysis
computer vision
light scattering
high quality
bayesian networks
natural deduction