ISSN:
1432-0541
Keywords:
Geometry theorem proving
;
Provers
;
Nondegenerate conditions
;
Ritt's algorithms
;
Wu's method
;
The Gröbner basis method
;
Algebraically (or real) closed field
;
Algebraic geometry
;
Irreducible variety
;
Nondegenerate component
;
Generally true
;
Simson's theorem
;
Pappus' theorem
Source:
Springer Online Journal Archives 1860-2000
Topics:
Computer Science
,
Mathematics
Notes:
Abstract In this paper we analyze the algebraic formulations of certain geometry statements appearing in recent literature related to mechanical geometry theorem proving and give several examples to show that one of these formulations can cause serious problems. We clarify a formulation which is essentially due to W. T. Wu and, in our opinion, is the most satisfactory.
Type of Medium:
Electronic Resource
URL:
http://dx.doi.org/10.1007/BF01553889
Permalink