Abstract
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.
Similar content being viewed by others
References
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.
Author information
Authors and Affiliations
Additional information
Communicated by John E. Hopcroft.
The first author was supported by NSF Grants Nos. DCR-8503498 and CCR-8702108. The computer facility was supported by the NSF/CER Grant at the University of Texas.
Rights and permissions
About this article
Cite this article
Chou, SC., Schelter, W.F. & Yang, JG. An algorithm for constructing gröbner bases from characteristic sets and its application to geometry. Algorithmica 5, 147–154 (1990). https://doi.org/10.1007/BF01840382
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF01840382