Details:
Title | Automated Geometric Reasoning: Dixon Resultants, Grobner Bases, and Characteristic Sets | Author(s) | Deepak Kapur | Type | Article in Conference Proceedings | Abstract | Three different methods for automated geometry theorem proving - a generalized version of Dixon resultants, Grobner bases and characteristic sets - are reviewed. The main focus is, however, on the use of the generalized Dixon resultant formulation for solving geometric problems and determining geometric quantities. | Length | 36 |
File |
| Language | English | Pages | 1-36 | Year | 1996 | Edition | 0 | Translation |
No | Refereed |
No |
|