DOI10.1007/s00006-014-0447-3zbMath1311.68147MaRDI QIDQ742367
Laurent Fuchs, Laurent Théry
Publication date: 18 September 2014 Published in: Advances in Applied Clifford Algebras (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1007/s00006-014-0447-3
zbMATH Keywords
binary tree; geometric algebra; Grassmann-Cayley algebra; formal proof; Coq
Mathematics Subject Classification ID
15A66: Clifford algebras, spinors
11E88: Quadratic spaces; Clifford algebras
Uses Software