Symbolic geometric reasoning with advanced invariant algebras
DOI10.1007/978-3-319-32859-1_3zbMATH Open1460.51009OpenAlexW2470709344MaRDI QIDQ2807816FDOQ2807816
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
Recommendations
automated geometric theorem provingconformal geometric algebraGrassmann-Cayley algebraCayley bracket algebranull bracket algebra
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)
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
- Title not available (Why is that?)
- 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)
