Publication | Closed Access

Partial Cylindrical Algebraic Decomposition for quantifier elimination

Mathematical ProgrammingQuantifier EliminationAlgebraic MethodAlgebraic AnalysisApplied Algebra