scientific article; zbMATH DE number 1788245

zbMATH Open1002.51002MaRDI QIDQ4550487FDOQ4550487

Authors: Alexandru Horváth 

Publication date: 25 August 2002

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

Recommendations

• scientific article; zbMATH DE number 1163428
• scientific article; zbMATH DE number 1263333
• Mechanical geometry theorem proving based on Gröbner bases
• scientific article; zbMATH DE number 1912102
• Theorem proving for and with Gröbner bases theory

zbMATH Keywords

geometric theorem provingGröbner basis

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to geometry (51-04) Elementary problems in Euclidean geometries (51M04)

Cited In (9)

• Title not available (Why is that?)
• Automated Deduction in Geometry
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Theorem proving for and with Gröbner bases theory
• Automated Deduction in Geometry
• Automated reducible geometric theorem proving and discovery by Gröbner basis method
• Title not available (Why is that?)

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