A decision method for certain algebraic geometry problems

DOI10.1216/RMJ-1989-19-3-709MaRDI QIDQ752130zbMATH OpenFDO

Authors Hai-Ping Ko, Shang-Ching Chou

Publication date 1989

Published in Rocky Mountain Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1216/RMJ-1989-19-3-709

zbMATH Keywords

mechanical theorem proving in geometrymembership of the set of all polynomials

Mathematics Subject Classification ID

Computational aspects in algebraic geometry (14Q99)

Recommendations

• scientific article; zbMATH DE number 4031634
• scientific article; zbMATH DE number 3926284
• scientific article; zbMATH DE number 1281390
• scientific article; zbMATH DE number 41286
• Elimination procedures for mechanical theorem proving in geometry

Cited in

(11)

• A refutational approach to geometry theorem proving
• A note on Kirkwood's algebraic method for decision problems
• A criterion for dependency of algebraic equations with applications to automated theorem proving
• Foreword to the special issue
• Disjunctive bases of applied algebras of sets and their use in problems of combinatorial geometry
• scientific article; zbMATH DE number 5507563 (Why is no real title available?)
• scientific article; zbMATH DE number 4031634 (Why is no real title available?)
• scientific article; zbMATH DE number 4079376 (Why is no real title available?)
• scientific article; zbMATH DE number 1761890 (Why is no real title available?)
• Geometry machines: from AI to SMC
• Some new results on decidability for elementary algebra and geometry

This page was built for publication: A decision method for certain algebraic geometry problems

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