Automated Geometric Reasoning: Dixon Resultants, Gröbner Bases, and Characteristic Sets (1996)
by
Deepak Kapur
| Venue: | Automated Deduction in Geometry, volume 1360 of Lecture |
| Citations: | 7 - 0 self |
BibTeX
@INPROCEEDINGS{Kapur96automatedgeometric,
author = {Deepak Kapur},
title = {Automated Geometric Reasoning: Dixon Resultants, Gröbner Bases, and Characteristic Sets},
booktitle = {Automated Deduction in Geometry, volume 1360 of Lecture},
year = {1996},
pages = {1--36},
publisher = {Springer}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
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.
