ISSN:
1432-0541
Schlagwort(e):
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
Quelle:
Springer Online Journal Archives 1860-2000
Thema:
Informatik
,
Mathematik
Notizen:
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.
Materialart:
Digitale Medien
URL:
http://dx.doi.org/10.1007/BF01553889
Permalink