ISSN:
1432-0541
Keywords:
Polynomial, (Prime) ideal
;
Generators
;
(Irreducible) ascending chain
;
(Irreducible) algebraic set
;
Decomposition of an algebraic set
;
Geometric configuration
;
Nondegenerate component
;
Geometry theorem proving
Source:
Springer Online Journal Archives 1860-2000
Topics:
Computer Science
,
Mathematics
Notes:
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.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1007/BF01840382
Permalink