scientific article

zbMATH Open1212.68446MaRDI QIDQ3571256FDOQ3571256

Yuan-Hao Cao, Hongbo Li

Publication date: 8 July 2010

Title of this publication is not available (Why is that?)

zbMATH Keywords

conformal geometric algebraautomated geometry reasoningnull bracket algebra

Mathematics Subject Classification ID

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

Cited In (3)

• Automated theorem proving practice with null geometric algebra
• Title not available (Why is that?)
• Realization of automatic reasoning system of geometry based on point-eliminating method

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• On the application of Buchberger's algorithm to automated geometry theorem proving 👍 👎
• Elimination procedures for mechanical theorem proving in geometry 👍 👎
• Automated reducible geometric theorem proving and discovery by Gröbner basis method 👍 👎
• Automated Deduction in 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 Q3571256)