Geometry theorem proving by decomposition of quasi-algebraic sets: An application of the Ritt-Wu principle

DOI10.1016/0004-3702(88)90051-3zbMath0668.68100OpenAlexW1990340894MaRDI QIDQ1118424

Hai-Ping Ko

Publication date: 1988

Published in: Artificial Intelligence (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0004-3702(88)90051-3

zbMATH Keywords

algebraically closed fieldpolynomial idealcanonical triangular basisproving geometrical theoremsquasialgebraic settriangular chain of polynomials

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Polynomials over commutative rings (13B25) Relevant commutative algebra (14A05)

Related Items

Elimination procedures for mechanical theorem proving in geometry, A generalized Euclidean algorithm for geometry theorem proving, Geometric reasoning with logic and algebra

Cites Work

• On the application of Buchberger's algorithm to automated geometry theorem proving
• Proving geometry theorems with rewrite rules
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item