Details:
| Title | Generic Hermitian Quantifier Elimination | | Author(s) | Andreas Dolzmann, Lorenz Gilch | | Type | Technical Report, Misc | | Abstract | We present a new method for generic quantifier elimination that uses an extension of Hermitian quantifier elimination. By means of sample computations we show that this generic Hermitian quantifier elimination is, for instance, an important method for automated theorem proving in
geometry. |
| File |
| | URL |
http://www.fmi.uni-passau.de/~dolzmann/ , http://www.math.tugraz.at/~gilch/ |
| Language | English | | Year | 2004 | | Month | July | | Edition | 0 | | Translation |
No | | Refereed |
No |
|
