Formalization of Geometric Algebra in HOL Light

Li, LM; Shi, ZP; Guan, Y; Zhang, QY; Li, YD

Shi, ZP (reprint author), Capital Normal Univ, Coll Informat Engn, Beijing 100048, Peoples R China.; Shi, ZP (reprint author), Beijing Key Lab Elect Syst Reliabil Technol, Beijing 100048, Peoples R China.; Shi, ZP (reprint author), Beijing Key Lab Light I

JOURNAL OF AUTOMATED REASONING, 2019; 63 (3): 787

Abstract

Although the theories of geometric algebra (GA) are widely applied in engineering design and analysis, the studies on their formalization have been sc......

Full Text Link