An Algorithm for Con-structing Gr?obner Bases from Characteristic Sets

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 Grfbner 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.