scientific article; zbMATH DE number 2203381

MaRDI QIDQ5315154zbMATH OpenFDO

Authors I. Yu. Chupaeva

Publication date 7 September 2005

zbMATH Keywords

automatic proofsgeometric theoremsGröbner bases

Mathematics Subject Classification ID

Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10) Symbolic computation and algebraic computation (68W30)

Recommendations

• Automated Deduction in Geometry
• Automated reducible geometric theorem proving and discovery by Gröbner basis method
• scientific article; zbMATH DE number 1263333
• scientific article; zbMATH DE number 1163428
• scientific article; zbMATH DE number 1189068
• scientific article; zbMATH DE number 2128063
• scientific article; zbMATH DE number 1788245
• Automatic Discovery of Geometry Theorems Using Minimal Canonical Comprehensive Gröbner Systems
• Automated Deduction in Geometry

Cited in

(3)

• scientific article; zbMATH DE number 1189068 (Why is no real title available?)
• scientific article; zbMATH DE number 1263333 (Why is no real title available?)
• 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 Q5315154)