Symbolic Geometric Reasoning with Advanced Invariant Algebras

DOI10.1007/978-3-319-32859-1_3zbMath1460.51009OpenAlexW2470709344MaRDI QIDQ2807816

Hong-Bo 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

conformal geometric algebraGrassmann-Cayley algebraautomated geometric theorem provingCayley 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) Mechanization of proofs and logical operations (03B35) Euclidean geometries (general) and generalizations (51M05) Geometry of classical groups (51N30) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (2)

Automated theorem proving practice with null geometric algebra ⋮ Foreword to special issue

This page was built for publication: Symbolic Geometric Reasoning with Advanced Invariant Algebras