An algorithm for constructing gröbner bases from characteristic sets and its application to geometry
Tóm tắt
In Ritt's method, a prime ideal is given by a characteristic set. A characteristic set of a prime ideal is generally not a set of generators of this ideal. In this paper we present a simple algorithm for constructing Gröbner bases of a prime ideal from its characteristic set. We give a method for finding new theorems in geometry as an application of this algorithm.
Tài liệu tham khảo
B. Buchberger, Gröbner Bases: An Algorithmic Method in Polynomial Ideal Theory, Chapter 6 inRecent Trends in Multidimensional Systems Theory, N. K. Bose (ed.), Reidel, Dordrecht, 1985.
S.-C. Chou,Mechanical Geometry Theorem Proving, Reidel, Dordrecht, 1988.
S.-C. Chou and G.-J. Yang, On the Algebraic Formulation of Certain Geometry Statements and Mechanical Geometry Theorem Proving, Preprint, May, 1986, revised in July, 1987, to appear inAlgorithmica.
P. Gianni, B. Trager, and G. Zacharias, Gröbner Bases and Primary Decomposition of Polynomial Ideals, Preprint, February, 1986.
R. F. Ritt,Differential Algebra, AMS Colloquium Publications, American Mathematical Society, Providence, RI, 1950.
A. K. Rody, Effective Methods in the Theory of Polynomial Ideals, Ph.D. Thesis, Departments of Mathematical Sciences, Rensselaer Polytechnic Institute, 1984.
A. Seidenberg, Constructions in Algebra,Trans. Amer. Math. Soc.,197 (1974), 273–313.
Wu Wen-tsün, Basic Principles of Mechanical Theorem Proving in Geometries,J. Systems Sci Math. Sci,4(3), 1984, 207–235, republished inJ. Automated Reasoning,2(4) (1986), 221–252.