scientific article; zbMATH DE number 1788245

MaRDI QIDQ4550487zbMATHFDO

Authors Alexandru Horváth

Publication date 25 August 2002

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)

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

Cited in

(9)

• Automated Deduction in Geometry
• Automated Deduction in Geometry
• scientific article; zbMATH DE number 1263333 (Why is no real title available?)
• scientific article; zbMATH DE number 2203381 (Why is no real title available?)
• Automated reducible geometric theorem proving and discovery by Gröbner basis method
• scientific article; zbMATH DE number 5221779 (Why is no real title available?)
• scientific article; zbMATH DE number 1390433 (Why is no real title available?)
• scientific article; zbMATH DE number 1912102 (Why is no real title available?)
• Theorem proving for and with Gröbner bases theory

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)