scientific article; zbMATH DE number 1746667

MaRDI QIDQ4530836zbMATH OpenFDO

Authors Yihong Wu, Hongbo Li

Publication date 9 June 2002

Mathematics Subject Classification ID

Algebraization in linear incidence geometry (51A25) Symbolic computation and algebraic computation (68W30)

Recommendations

• Automated theorem proving in projective geometry with bracket algebra
• Coordinate-free theorem proving in incidence 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.
• Automated generation of readable proofs with geometric invariants. II: Theorem proving with full-angles

Cited in

(9)

• 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.
• Combinatorial rigidity of incidence systems and application to dictionary learning
• Affine bracket algebra theory and algorithms and their applications in mechanical theorem proving
• Automated theorem proving in projective geometry with bracket algebra
• Cancellation patterns in automatic geometric theorem proving
• scientific article; zbMATH DE number 5733428 (Why is no real title available?)
• scientific article; zbMATH DE number 1985200 (Why is no real title available?)
• Coordinate-free theorem proving in incidence geometry

This page was built for publication:

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