Li, Li-Ming; Shi, Zhi-Ping; Guan, Yong; Zhang, Qian-Ying; Li, Yong-Dong Formalization of geometric algebra in HOL Light. (English) Zbl 1468.68329 J. Autom. Reasoning 63, No. 3, 787-808 (2019). MSC: 68V20 15A66 PDF BibTeX XML Cite \textit{L.-M. Li} et al., J. Autom. Reasoning 63, No. 3, 787--808 (2019; Zbl 1468.68329) Full Text: DOI OpenURL
Gu, Ying-Qiu Space-time geometry and some applications of Clifford algebra in physics. (English) Zbl 1405.81030 Adv. Appl. Clifford Algebr. 28, No. 4, Paper No. 79, 19 p. (2018). MSC: 81Q05 15A66 58J52 PDF BibTeX XML Cite \textit{Y.-Q. Gu}, Adv. Appl. Clifford Algebr. 28, No. 4, Paper No. 79, 19 p. (2018; Zbl 1405.81030) Full Text: DOI OpenURL
Gu, Ying-Qiu Clifford algebra, Lorentz transformation and unified field theory. (English) Zbl 1396.83013 Adv. Appl. Clifford Algebr. 28, No. 2, Paper No. 37, 31 p. (2018). MSC: 83C47 15A66 53Z05 83A05 83C60 81V22 PDF BibTeX XML Cite \textit{Y.-Q. Gu}, Adv. Appl. Clifford Algebr. 28, No. 2, Paper No. 37, 31 p. (2018; Zbl 1396.83013) Full Text: DOI OpenURL
Hestenes, David The genesis of geometric algebra: a personal retrospective. (English) Zbl 1367.15037 Adv. Appl. Clifford Algebr. 27, No. 1, 351-379 (2017); erratum ibid. 27, No. 2, 1941 (2017). MSC: 15A66 PDF BibTeX XML Cite \textit{D. Hestenes}, Adv. Appl. Clifford Algebr. 27, No. 1, 351--379 (2017; Zbl 1367.15037) Full Text: DOI OpenURL
Daviau, Claude Gauge group of the standard model in \(Cl_{1,5}\). (English) Zbl 1367.81159 Adv. Appl. Clifford Algebr. 27, No. 1, 279-290 (2017). MSC: 81V22 81Q05 81R20 81T13 15A66 35Q41 83E15 PDF BibTeX XML Cite \textit{C. Daviau}, Adv. Appl. Clifford Algebr. 27, No. 1, 279--290 (2017; Zbl 1367.81159) Full Text: DOI OpenURL
Chappell, James M.; Iqbal, Azhar; Lohe, M. A.; von Smekal, Lorenz; Abbott, Derek An improved formalism for quantum computation based on geometric algebra – case study: Grover’s search algorithm. (English) Zbl 1267.81112 Quantum Inf. Process. 12, No. 4, 1719-1735 (2013). MSC: 81P68 PDF BibTeX XML Cite \textit{J. M. Chappell} et al., Quantum Inf. Process. 12, No. 4, 1719--1735 (2013; Zbl 1267.81112) Full Text: DOI OpenURL
Chard, Jeffrey A.; Shapiro, Vadim A multivector data structure for differential forms and equations. (English) Zbl 1046.68112 Dorst, Leo (ed.) et al., Applications of geometric algebra in computer science and engineering. Papers from the conference, AGACSE 2001, Cambridge, UK, July 9–13, 2001. Boston, MA: Birkhäuser (ISBN 0-8176-4267-6/hbk). 129-131 (2002). MSC: 68U05 68P05 PDF BibTeX XML Cite \textit{J. A. Chard} and \textit{V. Shapiro}, in: Applications of geometric algebra in computer science and engineering. Papers from the conference, AGACSE 2001, Cambridge, UK, July 9--13, 2001. Boston, MA: Birkhäuser. 129--131 (2002; Zbl 1046.68112) OpenURL
Hestenes, David; Ziegler, Renatus Projective geometry with Clifford algebra. (English) Zbl 0735.51001 Acta Appl. Math. 23, No. 1, 25-63 (1991). Reviewer: H.Hotje MSC: 51Axx 15A66 51-XX 06-XX 08-XX 15-XX PDF BibTeX XML Cite \textit{D. Hestenes} and \textit{R. Ziegler}, Acta Appl. Math. 23, No. 1, 25--63 (1991; Zbl 0735.51001) Full Text: DOI OpenURL
Lawrynowicz, J.; Rembielinski, J. Erratum. Complete reproduction of the article: “On the composition of nondegenerate quadratic forms with an arbitrary index”. (English) Zbl 0716.15019 Ann. Fac. Sci. Toulouse, V. Sér., Math. 11, No. 1, 141-168 (1990). MSC: 15A63 15A66 11E39 PDF BibTeX XML Cite \textit{J. Lawrynowicz} and \textit{J. Rembielinski}, Ann. Fac. Sci. Toulouse, Math. (5) 11, No. 1, 141--168 (1990; Zbl 0716.15019) Full Text: DOI EuDML OpenURL
Ławrynowicz, Julian; Rembieliński, Jakub On the composition of nondegenerate quadratic forms with an arbitrary index. (English) Zbl 0701.15025 Ann. Fac. Sci. Toulouse, V. Sér., Math. 10, No. 1, 141-168 (1989). Reviewer: S.Lal MSC: 15A63 15A66 11E39 PDF BibTeX XML Cite \textit{J. Ławrynowicz} and \textit{J. Rembieliński}, Ann. Fac. Sci. Toulouse, Math. (5) 10, No. 1, 141--168 (1989; Zbl 0701.15025) Full Text: DOI Numdam Numdam EuDML OpenURL