On geometric theorem proving with null geometric algebra

DOI10.1007/978-0-85729-811-9_10MaRDI QIDQ4979425zbMATH OpenOpenAlexFDO

Authors Yuan-Hao Cao, Hongbo 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

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

Recommendations

• scientific article; zbMATH DE number 5733428
• Symbolic geometric reasoning with advanced invariant algebras
• Automated theorem proving practice with null geometric algebra
• A recipe for symbolic geometric computing: long geometric product, BREEFS and Clifford factorization
• Invariant computations for analytic projective geometry

Cited in

(5)

• Automated theorem proving practice with null geometric algebra
• Symbolic geometric reasoning with advanced invariant algebras
• A Geometric Procedure with Prover9
• Complex brackets, balanced complex differences, and applications in symbolic geometric computing
• A recipe for symbolic geometric computing: long geometric product, BREEFS and Clifford factorization

This page was built for publication: On geometric theorem proving with null geometric algebra

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