32 citations · 74 across the 4 of their papers we have counts for
4 papers
Identifying the Parametric Occurrence of Multiple Steady States for some Biological Networks
R. Bradford, J. H. Davenport, M. England +8
We consider a problem from biological network analysis of determining regions in a parameter space over which there are multiple steady states for positive real values of variables…
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…
A Generalized Framework for Virtual Substitution
Marek Kosta, Thomas Sturm
We generalize the framework of virtual substitution for real quantifier elimination to arbitrary but bounded degrees. We make explicit the representation of test points in eliminat…
Better Answers to Real Questions
Marek Kosta, Thomas Sturm, Andreas Dolzmann
We consider existential problems over the reals. Extended quantifier elimination generalizes the concept of regular quantifier elimination by providing in addition answers, which a…