64 citations · 592 across the 44 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.SC2013★ 7 cited
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…
cs.SC2013★ 44 cited
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…