On Geometric Theorem Proving with Null Geometric Algebra

DOI10.1007/978-0-85729-811-9_10zbMath1344.15013OpenAlexW89994832MaRDI QIDQ4979425

Yuan-Hao Cao, Hong-Bo Li

Publication date: 23 June 2014

Published in: Guide to Geometric Algebra in Practice (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-0-85729-811-9_10

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Exterior algebra, Grassmann algebras (15A75) Real and complex geometry (51M99)

Related Items (1)

Automated theorem proving practice with null geometric algebra

This page was built for publication: On Geometric Theorem Proving with Null Geometric Algebra