A quantifier elimination framework for complex numbers is obtained via reduction to real quantifier elimination followed by heuristic reinterpretation, prototyped in the Logic1 system.
Mechanical Geometry Theorem Proving, volume 41 of Mathematics and Its Applications
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.