Improving the Use of Equational Constraints in Cylindrical Algebraic Decomposition

Abstract

When building a cylindrical algebraic decomposition (CAD) savings can be made in the presence of an equational constraint (EC): an equation logically implied by a formula.