Complex brackets, balanced complex differences, and applications in symbolic geometric computing

DOI10.1145/1390768.1390795MaRDI QIDQ5301621zbMATH OpenOpenAlexWikidataFDO

Authors Lei Huang, Hongbo Li

Publication date 20 January 2009

Published in Proceedings of the twenty-first international symposium on Symbolic and algebraic computation (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Vector and tensor algebra, theory of invariants (15A72) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15) Symbolic computation and algebraic computation (68W30)

Recommendations

• scientific article; zbMATH DE number 5733428
• Complex brackets and balanced complex 1st-order difference polynomials in 4-dimensional Minkowski space
• Symbolic geometric reasoning with advanced invariant algebras
• A recipe for symbolic geometric computing: long geometric product, BREEFS and Clifford factorization
• On geometric theorem proving with null geometric algebra

Cited in

(4)

• Complex brackets and balanced complex 1st-order difference polynomials in 4-dimensional Minkowski space
• Automated theorem proving practice with null geometric algebra
• Symbolic geometric reasoning with advanced invariant algebras
• A recipe for symbolic geometric computing: long geometric product, BREEFS and Clifford factorization

This page was built for publication: Complex brackets, balanced complex differences, and applications in symbolic geometric computing

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