Reasoning about Geometric Problems using an Elimination Method

The present work relates to a paper by (1991) in which he explained the reasoning about a set of selected, geometry-related problems by using the algebraic methods of characteristic sets (Ritt 1950; Wu 1984a, b), Grobner bases (Buchberger 1985) and cylindrical algebraic decomposition (Collins 1975). Its main purpose is to demonstrate how to deal with the same set of geometric problems by using another algebraic method which is based on some elimination procedures proposed by (1993). We use the same formulations of the problems (with slight modifications when necessary) and the same set of illustrative examples given previously (Wang 1991). It is shown that for most of the examples our new method takes less computing time than the methods of characteristic sets and Grobner bases do.

[1]  J. Davenport.  A "Piano Movers" Problem. , 1986 .

[2]  George E. Collins,et al.  Quantifier elimination for real closed fields by cylindrical algebraic decomposition , 1975 .

[3]  Micha Sharir,et al.  Planning, geometry, and complexity of robot motion , 1986 .

[4]  W. V. Hodge,et al.  Methods of algebraic geometry , 1947 .

[5]  A. Seidenberg.  On k-constructable sets, k-elementary formulae, and elimination theory. , 1969 .

[6]  Deepak Kapur,et al.  Geometric reasoning , 1989 .

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

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

[9]  Dongming Wang.  Irreducible decomposition of algebraic varieties via characteristics sets and Gröbner bases , 1992, Comput. Aided Geom. Des..

[10]  A. Tarski.  A Decision Method for Elementary Algebra and Geometry , 2023 .

[11]  Bruno Buchberger,et al.  Algebraic methods for geometric reasoning , 1988 .

[12]  Dongming Wang.  Algebraic Factoring and Geometry Proving , 1994, CADE.

[13]  Christoph M. Hoffmann,et al.  Geometric and Solid Modeling , 1989 .

[14]  W Wu,et al.  A MECHANIZATION METHOD OF GEOMETRY AND ITS APPLICATIONS——I.DISTANCES,AREAS AND VOLUMES , 1986 .

[15]  Ron Goldman,et al.  Implicit representation of parametric curves and surfaces , 1984, Comput. Vis. Graph. Image Process..

[16]  W. Wu.  ON ZEROS OF ALGEBRAIC EQUATIONS——AN APPLICATION OF RITT PRINCIPLE , 1986 .

[17]  C. A. Nef,et al.  Decomposing algebraic sets using Gro¨bner bases , 1989 .

[18]  N. Bose.  Multidimensional Systems Theory , 1985 .

[19]  R. Paul.  Robot manipulators : mathematics, programming, and control : the computer control of robot manipulators , 1981 .

[20]  S. Chou,et al.  Mechanical Formula Derivation in Elementary Geometries , 1989 .

[21]  A. Seidenberg.  Some remarks on Hilbert's Nullstellensatz , 1956 .

[22]  Xiao-Shan Gao,et al.  Computations with parametric equations , 1991, ISSAC '91.

[23]  Dennis S. Arnon,et al.  Geometric Reasoning with Logic and Algebra , 1988, Artif. Intell..

[24]  Bruno Buchberger,et al.  Applications of Gro¨bner bases in non-linear computational geometry , 1988 .

[25]  John R. Rice,et al.  Mathematical aspects of scientific software , 1988 .

[26]  R. R. Martin,et al.  Differential geometry applied to curve and surface design , 1988 .

[27]  W. Bledsoe,et al.  Automated Theorem Proving: After 25 Years , 1984 .

[28]  L. W. Cohen.  Review: J. F. Ritt, Theory of functions , 1950 .

[29]  A. Seidenberg.  An elimination theory for differential algebra , 1959 .

[30]  James H. Davenport.  A :20piano movers' ' , 1986, SIGS.

[31]  Dongming Wang,et al.  An Elimination Method for Polynomial Systems , 1993, J. Symb. Comput..