论文信息 - Remarks on Geometric Theorem Proving

Remarks on Geometric Theorem Proving

The mathematical literature related to automatic methods for proving theorems in Euclidean geometry is immense. However, it is the opinion of the authors that the theory behind this topic would profit from more algebraic tools and more methods from commutative algebra. The scope of this paper is to begin to fill such a gap. In particular we bring to the forefront important notions such as computing field, optimal hypothesis ideal, and good set of conditions.

[1] Francesco de Giovanni,et al. Le dimostrazioni di teoremi fondate sull’uso di calcolatori , 1999 .

[2] B. Buchberger,et al. Grobner Bases : An Algorithmic Method in Polynomial Ideal Theory , 1985 .

[3] Dongming Wang. Gröbner Bases and Applications: Gröbner Bases Applied to Geometric Theorem Proving and Discovering , 1998 .

[4] Deepak Kapur,et al. Using Gröbner Bases to Reason About Geometry Problems , 1986, J. Symb. Comput..

[5] B. Kutzler,et al. On the Application of Buchberger's Algorithm to Automated Geometry Theorem Proving , 1986, J. Symb. Comput..

[6] D. Loveland,et al. Empirical explorations of the geometry-theorem proving machine , 1995 .

[7] Wen-tsün Wu,et al. TOWARD MECHANIZATION OF GEOMETRY — SOME COMMENTS ON HILBERT'S GRUNDLAGEN DER GEOMETRIE” , 1982 .

[8] Deepak Kapur,et al. A Refutational Approach to Geometry Theorem Proving , 1988, Artif. Intell..

[9] Tomás Recio,et al. Automatic Geometry Theorem Proving , 1999 .

[10] S. Chou. Mechanical Geometry Theorem Proving , 1987 .