Sciweavers

76
Voted
AISC
2004
Springer
15 years 17 days ago
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 Her...
Andreas Dolzmann, Lorenz A. Gilch