61 citations · 693 across the 58 of their papers we have counts for
4 papers · 1 filter
Branch Cuts in Maple 17
M. England, E. Cheb-Terrab, R. Bradford +2
Accurate and comprehensible knowledge about the position of branch cuts is essential for correctly working with multi-valued functions, such as the square root and logarithm. We di…
An implementation of CAD in Maple utilising problem formulation, equational constraints and truth-table invariance
Matthew England
Cylindrical algebraic decomposition (CAD) is an important tool for the investigation of semi-algebraic sets, with applications within algebraic geometry and beyond. We recently rep…
Cylindrical Algebraic Decompositions for Boolean Combinations
Russell Bradford, James H. Davenport, Matthew England +2
This article makes the key observation that when using cylindrical algebraic decomposition (CAD) to solve a problem with respect to a set of polynomials, it is not always the signs…
An implementation of CAD in Maple utilising McCallum projection
Matthew England
Cylindrical algebraic decomposition (CAD) is an important tool for the investigation of semi-algebraic sets. Originally introduced by Collins in the 1970s for use in quantifier eli…