Wieser, Eric; Song, Utensil Formalizing geometric algebra in Lean. (English) Zbl 1494.68307 Adv. Appl. Clifford Algebr. 32, No. 3, Paper No. 28, 26 p. (2022). Reviewer: Eckhard Hitzer (Tokyo) MSC: 68V20 11E88 15A66 15A67 PDFBibTeX XMLCite \textit{E. Wieser} and \textit{U. Song}, Adv. Appl. Clifford Algebr. 32, No. 3, Paper No. 28, 26 p. (2022; Zbl 1494.68307) Full Text: DOI arXiv Backlinks: MO
Huo, Xinming; Song, Yimin Finite motion analysis of parallel mechanisms with parasitic motions based on conformal geometric algebra. (English) Zbl 1418.70004 Adv. Appl. Clifford Algebr. 28, No. 1, Paper No. 21, 16 p. (2018). MSC: 70B15 70G65 PDFBibTeX XMLCite \textit{X. Huo} and \textit{Y. Song}, Adv. Appl. Clifford Algebr. 28, No. 1, Paper No. 21, 16 p. (2018; Zbl 1418.70004) Full Text: DOI
Huo, Xinming; Wang, Panfeng; Li, Wanzhen Kinematic optimal design of a 2-DoF parallel positioning mechanism employing geometric algebra. (English) Zbl 1418.70005 Adv. Appl. Clifford Algebr. 28, No. 1, Paper No. 20, 21 p. (2018). MSC: 70B15 70G65 PDFBibTeX XMLCite \textit{X. Huo} et al., Adv. Appl. Clifford Algebr. 28, No. 1, Paper No. 20, 21 p. (2018; Zbl 1418.70005) Full Text: DOI