64 citations · 592 across the 44 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.SC2017★ 3 cited
The Potential and Challenges of CAD with Equational Constraints for SC-Square
James H. Davenport, Matthew England
Cylindrical algebraic decomposition (CAD) is a core algorithm within Symbolic Computation, particularly for quantifier elimination over the reals and polynomial systems solving mor…
cs.SC2017★ 32 cited
A Case Study on the Parametric Occurrence of Multiple Steady States
Russell Bradford, James H. Davenport, Matthew England +8
We consider the problem of determining multiple steady states for positive real values in models of biological networks. Investigating the potential for these in models of the mito…