Identifying the parametric occurrence of multiple steady states for some biological networks (Q2284952)

In the paper under review, the authors apply symbolic tools to study a parametric biological problem by determining regions in a parameter space over which the system is multistationary, i.e. there are multiple steady states for positive real values of variables and parameters. The particular biological model which is discussed in this paper is the BioModel 26 of the MAPK network. For this study, the authors apply virtual substitution, lazy real triangularization and cylindrical algebraic decomposition methods to give full semi-algebraic solution formulae for the problem by using Regular Chains Library in Maple.