39 citations · 219 across the 22 of their papers we have counts for
1 paper · 2 filters
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,…