Formalization of Geometric Algebra in HOL Light
Sign Up to like & getrecommendations! Published in 2018 at "Journal of Automated Reasoning"
DOI: 10.1007/s10817-018-9498-9
Abstract: Although the theories of geometric algebra (GA) are widely applied in engineering design and analysis, the studies on their formalization have been scarcely conducted. This paper proposes a relatively complete formalization of GA in HOL… read more here.
Keywords: geometric algebra; formalization geometric; algebra hol; formalization ... See more keywords