Publication | Closed Access

Quantifier elimination by cylindrical algebraic decomposition based on regular chains

Algebraic MethodAlgebraic AnalysisComputer ScienceEquational LogicCylindrical Algebraic DecompositionApplied Algebra