scientific article; zbMATH DE number 4197462

MaRDI QIDQ5203713zbMATH OpenFDO

Authors Franz Winkler

Publication date 1990

Full work available at URL https://eudml.org/doc/226707

zbMATH Keywords

automatic theorem provingdegeneracy problemGröbner basemodule of syzygiessubsidiary condition

Mathematics Subject Classification ID

Ideals and multiplicative ideal theory in commutative rings (13A15) Polynomial rings and ideals; rings of integer-valued polynomials (13F20) Software, source code, etc. for problems pertaining to geometry (51-04) Symbolic computation and algebraic computation (68W30)

Recommendations

• Mechanical geometry theorem proving based on Gröbner bases
• On the application of Buchberger's algorithm to automated geometry theorem proving
• scientific article; zbMATH DE number 67120
• Geometry theorem proving by decomposition of quasi-algebraic sets: An application of the Ritt-Wu principle
• scientific article; zbMATH DE number 1163428

Cited in

(23)

• On the application of Buchberger's algorithm to automated geometry theorem proving
• Computational algebraic geometry of projective configurations
• A criterion for dependency of algebraic equations with applications to automated theorem proving
• Automated reducible geometric theorem proving and discovery by Gröbner basis method
• Elimination procedures for mechanical theorem proving in geometry
• A generalized Euclidean algorithm for geometry theorem proving
• Geometric characterization of data sets with unique reduced Gröbner bases
• Experiments on automatic inclusion of some non-degeneracy conditions among the hypotheses in locus equation computations
• Challenging theorem provers with Mathematical Olympiad problems in solid geometry
• scientific article; zbMATH DE number 4110159 (Why is no real title available?)
• Automatic deduction in (dynamic) geometry: Loci computation
• scientific article; zbMATH DE number 67120 (Why is no real title available?)
• scientific article; zbMATH DE number 1263333 (Why is no real title available?)
• scientific article; zbMATH DE number 1350005 (Why is no real title available?)
• scientific article; zbMATH DE number 1163428 (Why is no real title available?)
• scientific article; zbMATH DE number 1960937 (Why is no real title available?)
• scientific article; zbMATH DE number 1745037 (Why is no real title available?)
• scientific article; zbMATH DE number 1390433 (Why is no real title available?)
• On the Need of Radical Ideals in Automatic Proving: A Theorem About Regular Polygons
• Automated Deduction in Geometry
• Automated Deduction in Geometry
• Geometry machines: from AI to SMC
• An algorithm for constructing Gröbner bases from characteristic sets and its application to 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 Q5203713)