Publication:4429034
From MaRDI portal
zbMath1028.15027MaRDI QIDQ4429034
Publication date: 24 September 2003
Euclidean geometryautomated theorem provingClifford geometric algebraClifford bracket algebraClifford vector algebra
Related Items
Higher-order logic formalization of conformal geometric algebra and its application in verifying a robotic manipulation algorithm, Clifford fuzzy support vector machines for classification, Automated theorem proving practice with null geometric algebra, Complex brackets and balanced complex 1st-order difference polynomials in 4-dimensional Minkowski space