Generic Hermitian Quantifier Elimination.

Andreas Dolzmann, Lorenz A. Gilch

Browse the full AISC paper archive.