A quantifier elimination framework for complex numbers is designed via reduction to real QE followed by heuristic reinterpretation, with examples in the Logic1 system.
Quantifier elimination for real algebra—the quadratic case and beyond.Applicable Algebra in Engineering, Communication and Computing, 8(2):85–101, January 1997
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 designed via reduction to real QE followed by heuristic reinterpretation, with examples in the Logic1 system.