scientific article; zbMATH DE number 5733428

MaRDI QIDQ3571256zbMATH OpenFDO

Authors Yuan-Hao Cao, Hongbo Li

Publication date 8 July 2010

zbMATH Keywords

automated geometry reasoningconformal geometric algebranull bracket algebra

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Symbolic computation and algebraic computation (68W30)

Recommendations

• Automated Deduction in Geometry
• scientific article; zbMATH DE number 1746667
• Elimination procedures for mechanical theorem proving in geometry
• Automated reducible geometric theorem proving and discovery by Gröbner basis method
• scientific article; zbMATH DE number 4072432
• On the application of Buchberger's algorithm to automated geometry theorem proving
• scientific article; zbMATH DE number 4160161

Cited in

(7)

• Invariant computations for analytic projective geometry
• Automated theorem proving practice with null geometric algebra
• Realization of automatic reasoning system of geometry based on point-eliminating method
• scientific article; zbMATH DE number 4154416 (Why is no real title available?)
• On geometric theorem proving with null geometric algebra
• Complex brackets, balanced complex differences, and applications in symbolic geometric computing
• A recipe for symbolic geometric computing: long geometric product, BREEFS and Clifford factorization

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 Q3571256)