scientific article; zbMATH DE number 1985200
From MaRDI portal
Publication:4429034
zbMath1028.15027MaRDI QIDQ4429034
Publication date: 24 September 2003
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Euclidean geometryautomated theorem provingClifford geometric algebraClifford bracket algebraClifford vector algebra
Related Items (4)
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
This page was built for publication: