61 citations · 359 across the 17 of their papers we have counts for
Showing 2019 · cs.SCShow all
2 papers · 2 filters
cs.SC2019★ 23 cited
Cylindrical Algebraic Decomposition with Equational Constraints
Matthew England, Russell Bradford, James H. Davenport
Cylindrical Algebraic Decomposition (CAD) has long been one of the most important algorithms within Symbolic Computation, as a tool to perform quantifier elimination in first order…
cs.SC2019★ 30 cited
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…