Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological Networks

Abstract : 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.
Document type :
Conference papers
Liste complète des métadonnées

Cited literature [30 references]  Display  Hide  Download

https://hal.inria.fr/hal-01648691
Contributor : Thomas Sturm <>
Submitted on : Thursday, November 30, 2017 - 1:22:42 PM
Last modification on : Tuesday, February 19, 2019 - 3:40:04 PM
Document(s) archivé(s) le : Thursday, March 1, 2018 - 12:28:49 PM

File

10.1007-978-3-319-66320-3_8.pd...
Explicit agreement for this submission

Identifiers

Citation

Matthew England, Hassan Errami, Dima Grigoriev, Ovidiu Radulescu, Thomas Sturm, et al.. Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological Networks. CASC 2017 - 19th International Workshop on Computer Algebra in Scientific Computing, Sep 2017, Beijing, China. ⟨10.1007/978-3-319-66320-3⟩. ⟨hal-01648691⟩

Share

Metrics

Record views

489

Files downloads

61