61 citations · 693 across the 58 of their papers we have counts for
3 papers · 1 filter
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…
Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological Networks
Matthew England, Hassan Errami, Dima Grigoriev +3
We investigate models of the mitogenactivated protein kinases (MAPK) network, with the aim of determining where in parameter space there exist multiple positive steady states. We b…
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…