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)

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

(10)

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

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)