A decision method for certain algebraic geometry problems
Wu Wen-tsün's method of mechanical theorem proving in geometry is complete for certain elementary geometry problems involving equality only. For the corresponding algebraic geometry problem, the method is complete for problems with an algebraically closed field as the associated field. The authors present a theorem to extend some theoretical property of Wu's method from algebraically closed fields to arbitrary fields. The theorem implies a decision method for the membership of the set of all polynomials which fix a certain type of algebraic variety denoted by \(V^*\) by Wu Wen-tsün.
- 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)
