QEPCAD

AcronymDefinition
QEPCADQuantifier Elimination by Partial Cylindrical Algebraic Decomposition (mathematics software)