A Case Study on the Parametric Occurrence of Multiple Steady States

@article{Bradford2017ACS,
title={A Case Study on the Parametric Occurrence of Multiple Steady States},
author={R. Bradford and J. Davenport and M. England and Hassan Errami and V. Gerdt and D. Grigoriev and C. Hoyt and M. Kosta and O. Radulescu and T. Sturm and Andreas Weber},
journal={Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation},
year={2017}
}

Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation

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 mitogen-activated protein kinases (MAPK) network has consumed considerable effort using special insights into the structure of corresponding models. Here we apply combinations of symbolic computation methods for mixed equality/inequality systems, specifically virtual substitution, lazy real triangularization and… Expand