scientific article; zbMATH DE number 1985200

MaRDI QIDQ4429034zbMATH OpenFDO

Authors Hongbo Li

Publication date 24 September 2003

zbMATH Keywords

automated theorem provingClifford bracket algebraClifford geometric algebraClifford vector algebraEuclidean geometry

Mathematics Subject Classification ID

Clifford algebras, spinors (15A66)

Recommendations

• scientific article; zbMATH DE number 2128063
• Automated theorem proving in projective geometry with bracket algebra
• Clifford algebraic reduction method for automated theorem proving in differential geometry
• scientific article; zbMATH DE number 978243
• Automated theorem proving in quasigroup and loop theory
• scientific article; zbMATH DE number 1746667
• Symbolic computation in the homogeneous geometric model with clifford algebra
• scientific article; zbMATH DE number 871442
• scientific article; zbMATH DE number 4051903
• Affine bracket algebra theory and algorithms and their applications in mechanical theorem proving

Cited in

(7)

• Complex brackets and balanced complex 1st-order difference polynomials in 4-dimensional Minkowski space
• Automated theorem proving practice with null geometric algebra
• Higher-order logic formalization of conformal geometric algebra and its application in verifying a robotic manipulation algorithm
• Affine bracket algebra theory and algorithms and their applications in mechanical theorem proving
• Clifford fuzzy support vector machines for classification
• scientific article; zbMATH DE number 2128063 (Why is no real title available?)
• scientific article; zbMATH DE number 1515926 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4429034)