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 |
|
