A quantifier elimination framework for complex numbers is obtained via reduction to real quantifier elimination followed by heuristic reinterpretation, prototyped in the Logic1 system.
On the combinatorial and algebraic complexity of quantifier elimination
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.SC 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Pseudo-Complex Quantifier Elimination
A quantifier elimination framework for complex numbers is obtained via reduction to real quantifier elimination followed by heuristic reinterpretation, prototyped in the Logic1 system.