A quantifier elimination framework for complex numbers is obtained via reduction to real quantifier elimination followed by heuristic reinterpretation, prototyped in the Logic1 system.
New Concepts for Real Quantifier Elimination by Virtual Substitution
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.