Automated theorem proving practice with null geometric algebra

DOI10.1007/s11424-019-8354-2zbMath1468.68297OpenAlexW2914887001WikidataQ128391737 ScholiaQ128391737MaRDI QIDQ1730305

Hong-Bo Li

Publication date: 6 March 2019

Published in: Journal of Systems Science and Complexity (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11424-019-8354-2

zbMATH Keywords

automated theorem provingautomated theorem discoveringautomated theorem extendingClifford bracket algebranull geometric algebra

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Clifford algebras, spinors (15A66) Euclidean analytic geometry (51N20) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Related Items (1)

Foreword to the special issue

Cites Work

• Clifford algebra to geometric calculus. A unified language for mathematics and physics
• On the application of Buchberger's algorithm to automated geometry theorem proving
• Elimination methods
• Symbolic Geometric Reasoning with Advanced Invariant Algebras
• Symbolic computation in the homogeneous geometric model with clifford algebra
• Machine Proofs in Geometry
• On Geometric Theorem Proving with Null Geometric Algebra
• Line Geometry in Terms of the Null Geometric Algebra over ℝ3,3, and Application to the Inverse Singularity Analysis of Generalized Stewart Platforms
• Complex brackets, balanced complex differences, and applications in symbolic geometric computing
• Lie sphere geometry. With applications to submanifolds
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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