A generalized Euclidean algorithm for geometry theorem proving

DOI10.1007/BF01531324MaRDI QIDQ1924743zbMATH OpenFDO

Authors M. Kalkbrener

Publication date 24 November 1996

Published in Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01531324

zbMATH Keywords

geometry theorem proving

Mathematics Subject Classification ID

Recommendations

• A generalized Euclidean algorithm for computing triangular representations of algebraic varieties
• scientific article; zbMATH DE number 4197462
• scientific article; zbMATH DE number 4164173
• Ritt-Wu's decomposition algorithm and geometry theorem proving

Cites work

• A generalized Euclidean algorithm for computing triangular representations of algebraic varieties
• A new method for solving algebraic systems of positive dimension
• A refutational approach to geometry theorem proving
• An algorithm for finding the basis elements of the residue class ring of a zero dimensional polynomial ideal
• Geometry theorem proving by decomposition of quasi-algebraic sets: An application of the Ritt-Wu principle
• scientific article; zbMATH DE number 4164173 (Why is no real title available?)
• scientific article; zbMATH DE number 3941661 (Why is no real title available?)
• scientific article; zbMATH DE number 3970886 (Why is no real title available?)
• scientific article; zbMATH DE number 4031634 (Why is no real title available?)
• scientific article; zbMATH DE number 16648 (Why is no real title available?)
• scientific article; zbMATH DE number 16651 (Why is no real title available?)
• scientific article; zbMATH DE number 41286 (Why is no real title available?)
• scientific article; zbMATH DE number 204997 (Why is no real title available?)
• scientific article; zbMATH DE number 4197462 (Why is no real title available?)
• scientific article; zbMATH DE number 3305793 (Why is no real title available?)
• On the application of Buchberger's algorithm to automated geometry theorem proving
• On the dimension of an arbitrary ascending chain
• Proving geometry theorems with rewrite rules
• Solving zero-dimensional algebraic systems
• The membership problem for unmixed polynomial ideals is solvable in single exponential time

Cited in

(8)

• A generalized Euclidean algorithm for computing triangular representations of algebraic varieties
• Elimination procedures for mechanical theorem proving in geometry
• scientific article; zbMATH DE number 4164173 (Why is no real title available?)
• A Geometric Procedure with Prover9
• GeoLogic – Graphical Interactive Theorem Prover for Euclidean Geometry
• Algebraic factoring and geometry theorem proving
• Ritt-Wu's decomposition algorithm and geometry theorem proving
• Geometry machines: from AI to SMC

This page was built for publication: A generalized Euclidean algorithm for geometry theorem proving

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1924743)