Generic Hermitian Quantifier Elimination
Auteur : Andreas Dolzmann, Lorenz Gilch
Date de publication : 2004
Éditeur : Univ., Fak. für Mathematik und Informatik
Nombre de pages : 17
Résumé du livre
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."