Symbolic computation in the homogeneous geometric model with clifford algebra

DOI10.1145/1005285.1005318zbMath1134.68601OpenAlexW2047821213MaRDI QIDQ4657329

Hong-Bo Li

Publication date: 14 March 2005

Published in: Proceedings of the 2004 international symposium on Symbolic and algebraic computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1005285.1005318

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30)

Related Items (4)

Challenging theorem provers with Mathematical Olympiad problems in solid geometry ⋮ Clifford fuzzy support vector machines for classification ⋮ Automated theorem proving practice with null geometric algebra ⋮ Automated Generation of Readable Proofs for Constructive Geometry Statements with the Mass Point Method

This page was built for publication: Symbolic computation in the homogeneous geometric model with clifford algebra