Pith. sign in

Brown and James H

Christopher W · 2007 · DOI 10.1145/1277548.1277557 · arXiv 7548.127755

1 Pith paper cite this work, alongside 132 external citations. Polarity classification is still indexing.

1 Pith paper citing it
132 external citations · external index
open at publisher browse 1 citing papers arXiv PDF

fields

cs.SC 1

years

2026 1

verdicts

UNVERDICTED 1

representative citing papers

Pseudo-Complex Quantifier Elimination

cs.SC · 2026-04-29 · unverdicted · novelty 6.0

A quantifier elimination framework for complex numbers is obtained via reduction to real quantifier elimination followed by heuristic reinterpretation, prototyped in the Logic1 system.

citing papers explorer

Showing 1 of 1 citing paper.

  • Pseudo-Complex Quantifier Elimination cs.SC · 2026-04-29 · unverdicted · none · ref 3

    A quantifier elimination framework for complex numbers is obtained via reduction to real quantifier elimination followed by heuristic reinterpretation, prototyped in the Logic1 system.