Generic Hermitian Quantifier Elimination

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.

• Type: Conference
• Year: 2004
• Where: AISC
• Authors: Andreas Dolzmann, Lorenz A. Gilch
• Keywords: AISC 2004, Artificial Intelligence, Generic Quantifier Elimination, Hermitian Quantifier Elimination, Quantifier Elimination