D. J. Bates, J. D. Hauenstein, A. J. Sommese, and C. W. Wampler, Bertini: software for numerical algebraic geometry

U. S. Bhalla and R. Iyengar, Emergent Properties of Networks of Biological Signaling Pathways, Science, vol.283, issue.5400, pp.381-387, 1999.
DOI : 10.1126/science.283.5400.381

R. Bradford, C. Chen, J. H. Davenport, M. England, M. Moreno-maza et al., Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains, CASC 2014, pp.44-58, 2014.
DOI : 10.1007/978-3-319-10515-4_4

R. Bradford, J. Davenport, M. England, S. Mccallum, and D. Wilson, Truth table invariant cylindrical algebraic decomposition, Journal of Symbolic Computation, vol.76, pp.1-35, 2016.
DOI : 10.1016/j.jsc.2015.11.002
URL : https://doi.org/10.1016/j.jsc.2015.11.002

R. Bradford, J. Davenport, M. England, H. Errami, V. Gerdt et al., A Case Study on the Parametric Occurrence of Multiple Steady States, Proceedings of the 2017 ACM on International Symposium on Symbolic and Algebraic Computation , ISSAC '17, pp.45-52, 2017.
DOI : 10.1126/science.284.5411.92
URL : https://hal.archives-ouvertes.fr/hal-01648694

C. Chen, J. Davenport, J. May, M. Moreno-maza, B. Xia et al., Triangular decomposition of semi-algebraic systems, Journal of Symbolic Computation, vol.49, pp.3-26, 2013.
DOI : 10.1016/j.jsc.2011.12.014

C. Chen, M. Moreno-maza, B. Xia, and L. Yang, Computing cylindrical algebraic decomposition via triangular decomposition, Proceedings of the 2009 international symposium on Symbolic and algebraic computation, ISSAC '09, pp.95-102, 2009.
DOI : 10.1145/1576702.1576718
URL : http://www.csd.uwo.ca/~moreno//Publications/Chen.Moreno-Maza.Xia.Yang-ISSAC-2009.pdf

C. Conradi and M. Mincheva, Catalytic constants enable the emergence of bistability in dual phosphorylation, Journal of The Royal Society Interface, vol.276, issue.12, 2014.
DOI : 10.1111/j.1742-4658.2009.07027.x

C. Conradi, D. Flockerzi, and J. Raisch, Multistationarity in the activation of a MAPK: Parametrizing the relevant region in parameter space, Mathematical Biosciences, vol.211, issue.1, pp.105-136, 2008.
DOI : 10.1016/j.mbs.2007.10.004

A. Dolzmann, A. Seidl, and T. Sturm, Efficient projection orders for CAD, Proceedings of the 2004 international symposium on Symbolic and algebraic computation , ISSAC '04, pp.111-118, 2004.
DOI : 10.1145/1005285.1005303
URL : http://www.fmi.uni-passau.de/forschung/mip-berichte/MIP-0401.ps.gz

A. Dolzmann and T. Sturm, REDLOG, ACM SIGSAM Bulletin, vol.31, issue.2, pp.2-9, 1997.
DOI : 10.1145/261320.261324

A. Dolzmann and T. Sturm, Simplification of Quantifier-free Formulae over Ordered Fields, Journal of Symbolic Computation, vol.24, issue.2, pp.209-231, 1997.
DOI : 10.1006/jsco.1997.0123

M. England, R. Bradford, and J. Davenport, Improving the Use of Equational Constraints in Cylindrical Algebraic Decomposition, Proceedings of the 2015 ACM on International Symposium on Symbolic and Algebraic Computation, ISSAC '15, pp.165-172, 2015.
DOI : 10.1109/SYNASC.2014.15

I. Famili and B. Ø. Palsson, The Convex Basis of the Left Null Space of the Stoichiometric Matrix Leads to the Definition of Metabolically Meaningful Pools, Biophysical Journal, vol.85, issue.1, pp.16-26, 2003.
DOI : 10.1016/S0006-3495(03)74450-6

M. Girvan and M. E. Newman, Community structure in social and biological networks, Proc. Natl. Acad. Sci. USA 99, pp.7821-7826, 2002.
DOI : 10.1086/285382
URL : http://www.pnas.org/content/99/12/7821.full.pdf

F. Grandoni, J. Könemann, and A. Panconesi, Distributed weighted vertex cover via maximal matchings, ACM Transactions on Algorithms, vol.5, issue.1, pp.1-12, 2008.
DOI : 10.1145/1435375.1435381

D. Grigoriev, S. S. Samal, S. Vakulenko, and A. Weber, Algorithms to Study Large Metabolic Network Dynamics, Mathematical Modelling of Natural Phenomena, vol.211, issue.1, pp.100-118, 2015.
DOI : 10.1016/j.mbs.2007.10.004

E. Gross, B. Davis, K. L. Ho, D. J. Bates, and H. A. Harrington, Numerical algebraic geometry for model selection and its application to the life sciences, Journal of The Royal Society Interface, vol.18, issue.123, 2016.
DOI : 10.1016/j.jsc.2013.11.002

Z. Huang, M. England, D. Wilson, J. H. Davenport, L. C. Paulson et al., Applying Machine Learning to the Problem of Choosing a Heuristic to Select the Variable Ordering for Cylindrical Algebraic Decomposition, CICM 2014, pp.92-107, 2014.
DOI : 10.1007/978-3-7091-9459-1_3

B. Joshi and A. Shiu, A Survey of Methods for Deciding Whether a Reaction Network is Multistationary, Mathematical Modelling of Natural Phenomena, vol.12, issue.1, pp.47-67, 2015.
DOI : 10.1137/120873388

R. M. Karp, Reducibility among combinatorial problems, Complexity of Computer Computations, pp.85-103, 1972.
DOI : 10.1007/978-3-540-68279-0_8

M. Ko?ta, New concepts for real quantifier elimination by virtual substitution. Doctoral dissertation, 2016.

S. Legewie, B. Schoeberl, N. Blüthgen, and H. Herzel, Competing Docking Interactions can Bring About Bistability in the MAPK Cascade, Biophysical Journal, vol.93, issue.7, pp.2279-2288, 2007.
DOI : 10.1529/biophysj.107.109132

C. Li, M. Donizelli, N. Rodriguez, H. Dharuri, L. Endler et al., BioModels Database: An enhanced, curated and annotated resource for published quantitative kinetic models, BMC Systems Biology, vol.4, issue.1, p.92, 2010.
DOI : 10.1186/1752-0509-4-92
URL : https://bmcsystbiol.biomedcentral.com/track/pdf/10.1186/1752-0509-4-92?site=bmcsystbiol.biomedcentral.com

R. Loos and V. Weispfenning, Applying Linear Quantifier Elimination, The Computer Journal, vol.36, issue.5, pp.450-462, 1993.
DOI : 10.1093/comjnl/36.5.450
URL : https://academic.oup.com/comjnl/article-pdf/36/5/450/1105730/360450.pdf

N. I. Markevich, J. B. Hoek, and B. N. Kholodenko, Signaling switches and bistability arising from multisite phosphorylation in protein kinase cascades, The Journal of Cell Biology, vol.71, issue.3, pp.353-359, 2004.
DOI : 10.1074/jbc.M103369200
URL : http://jcb.rupress.org/content/jcb/164/3/353.full.pdf

P. Millán, M. Turjanski, and A. G. , MAPK???s networks and their capacity for multistationarity due to toric steady states, Mathematical Biosciences, vol.262, pp.125-162, 2015.
DOI : 10.1016/j.mbs.2014.12.010

N. Rashevsky, Mathematical Biophysics, Nature, vol.135, issue.3414, 1960.
DOI : 10.1038/135528a0

D. Wang, Elimination Methods, 2000.
DOI : 10.1007/978-3-7091-6202-6
URL : https://hal.archives-ouvertes.fr/hal-01573183

M. Zumsande and T. Gross, Bifurcations and chaos in the MAPK signaling cascade, Journal of Theoretical Biology, vol.265, issue.3, pp.481-491, 2010.
DOI : 10.1016/j.jtbi.2010.04.025
URL : https://hal.archives-ouvertes.fr/hal-00608416