23 Citations (SciVal)


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 cylindrical algebraic decomposition. We determine multistationarity of an 11-dimensional MAPK network when numeric values are known for all but potentially one parameter. More precisely, our considered model has 11 equations in 11 variables and 19 parameters, 3 of which are of interest for symbolic treatment, and furthermore positivity conditions on all variables and parameters.

Original languageEnglish
Title of host publicationISSAC 2017 - Proceedings of the 2017 ACM International Symposium on Symbolic and Algebraic Computation
Subtitle of host publicationPart F129312
PublisherAssociation for Computing Machinery
Number of pages8
ISBN (Electronic)9781450350648
Publication statusPublished - 23 Jul 2017
Event42nd ACM International Symposium on Symbolic and Algebraic Computation, ISSAC 2017 - Kaiserslautern, Germany
Duration: 25 Jul 201728 Jul 2017


Conference42nd ACM International Symposium on Symbolic and Algebraic Computation, ISSAC 2017

ASJC Scopus subject areas

  • Mathematics(all)


Dive into the research topics of 'A case study on the parametric occurrence of multiple steady states'. Together they form a unique fingerprint.

Cite this