Showing cs.SCShow all
2 papers · 1 filter
cs.SC2026
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,…
cs.SC2025
On the Number of Real Types of Univariate Polynomials
Nicolas FaroÃ, Nicolas Faroß, Thomas Sturm
The real type of a finite family of univariate polynomials characterizes the combined sign behavior of the polynomials over the real line. We derive an explicit formula for the num…