English
 
Help Privacy Policy Disclaimer
  Advanced SearchBrowse

Item

ITEM ACTIONSEXPORT
Add to Basket
  Local TagsRelease HistoryDetailsSummary

Released
Paper

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

MPS-Authors
/persons/resource/persons73108

Sturm,  Thomas       
Automation of Logic, MPI for Informatics, Max Planck Society;

External Resource
No external resources are shared
Fulltext (restricted access)
There are currently no full texts shared for your IP range.
Fulltext (public)

arXiv:1706.08794.pdf
(Preprint), 2MB

Supplementary Material (public)
There is no public supplementary material available
Citation

England, M., Errami, H., Grigoriev, D., Radulescu, O., Sturm, T., & Weber, A. (2017). Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological Networks. Retrieved from http://arxiv.org/abs/1706.08794.


Cite as: https://hdl.handle.net/11858/00-001M-0000-002D-91C9-F
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.