Symbolic geometric reasoning with advanced invariant algebras

DOI10.1007/978-3-319-32859-1_3MaRDI QIDQ2807816zbMATH OpenOpenAlexFDO

Authors Hongbo Li

Publication date 25 May 2016

Published in Mathematical Aspects of Computer and Information Sciences (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-32859-1_3

zbMATH Keywords

automated geometric theorem provingconformal geometric algebraGrassmann-Cayley algebraCayley bracket algebranull bracket algebra

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Geometry of classical groups (51N30) Mechanization of proofs and logical operations (03B35) Euclidean geometries (general) and generalizations (51M05) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Recommendations

• On geometric theorem proving with null geometric algebra
• Automated Deduction in Geometry
• Invariant algebras and geometric reasoning
• Invariant computations for analytic projective geometry
• Complex brackets, balanced complex differences, and applications in symbolic geometric computing

Cited in

(9)

• A symbolic dynamic geometry system using the analytical geometry method
• Automated theorem proving practice with null geometric algebra
• On geometric theorem proving with null geometric algebra
• Symbolic treatment of geometric degeneracies
• Complex brackets, balanced complex differences, and applications in symbolic geometric computing
• Invariant computations for analytic projective geometry
• A Symbolic Companion for Interactive Geometric Systems
• scientific article; zbMATH DE number 5587879 (Why is no real title available?)
• Foreword to special issue

This page was built for publication: Symbolic geometric reasoning with advanced invariant algebras

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