zbMATH — the first resource for mathematics

Symbolic versus numerical computation and visualization of parameter regions for multistationarity of biological networks. (English) Zbl 1455.92058
Gerdt, Vladimir P. (ed.) et al., Computer algebra in scientific computing. 19th international workshop, CASC 2017, Beijing, China, September 18–22, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10490, 93-108 (2017).
Summary: 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 build on recent progress which combines various symbolic computation methods for mixed systems of equalities and inequalities. We demonstrate that those techniques benefit tremendously from a newly implemented graph theoretical symbolic preprocessing method. We compare computation times and quality of results of numerical continuation methods with our symbolic approach before and after the application of our preprocessing.
For the entire collection see [Zbl 1371.68008].

92C42 Systems biology, networks
68W30 Symbolic computation and algebraic computation
Full Text: DOI