Affine bracket algebra theory and algorithms and their applications in mechanical theorem proving

DOI10.1007/s11425-007-0076-6zbMath1130.68091OpenAlexW2099893021MaRDI QIDQ2461488

Ning Zhang, Hong-Bo Li

Publication date: 28 November 2007

Published in: Science in China. Series A (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11425-007-0076-6

zbMATH Keywords

affine geometrygeometric invariancemechanical theorem provingbracket algebraaffine bracket algebra

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Related Items (max. 100)

Self-evident automated proving based on point geometry from the perspective of Wu's method identity

Uses Software

• Maple

Cites Work

• Unnamed Item
• Invariant computations for analytic projective geometry
• Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. I: Incidence geometry.
• Automated short proof generation for projective geometric theorems with Cayley and bracket algebras. II: Conic geometry.
• Algorithms in invariant theory

This page was built for publication: Affine bracket algebra theory and algorithms and their applications in mechanical theorem proving