Pseudo-Complex Quantifier Elimination

Nicolas Faroß, Nicolas Faroß, Thomas Sturm

We describe the design of a quantifier elimination framework for the complex numbers in the language of ordered rings supplemented with symbols for the imaginary unit, real parts,…