39 citations · 219 across the 22 of their papers we have counts for
3 papers · 1 filter
Subtropical Satisfiability
Pascal Fontaine, Mizuhito Ogawa, Thomas Sturm +1
Quantifier-free nonlinear arithmetic (QF_NRA) appears in many applications of satisfiability modulo theories solving (SMT). Accordingly, efficient reasoning for corresponding const…
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…