Bertini: software for numerical algebraic geometry ,
Emergent Properties of Networks of Biological Signaling Pathways, Science, vol.283, issue.5400, pp.381-387, 1999. ,
DOI : 10.1126/science.283.5400.381
Truth Table Invariant Cylindrical Algebraic Decomposition by Regular Chains, CASC 2014, pp.44-58, 2014. ,
DOI : 10.1007/978-3-319-10515-4_4
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
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
Triangular decomposition of semi-algebraic systems, Journal of Symbolic Computation, vol.49, pp.3-26, 2013. ,
DOI : 10.1016/j.jsc.2011.12.014
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
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
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
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
REDLOG, ACM SIGSAM Bulletin, vol.31, issue.2, pp.2-9, 1997. ,
DOI : 10.1145/261320.261324
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
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
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
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
Distributed weighted vertex cover via maximal matchings, ACM Transactions on Algorithms, vol.5, issue.1, pp.1-12, 2008. ,
DOI : 10.1145/1435375.1435381
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
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
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
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
Reducibility among combinatorial problems, Complexity of Computer Computations, pp.85-103, 1972. ,
DOI : 10.1007/978-3-540-68279-0_8
New concepts for real quantifier elimination by virtual substitution. Doctoral dissertation, 2016. ,
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
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
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
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
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
Mathematical Biophysics, Nature, vol.135, issue.3414, 1960. ,
DOI : 10.1038/135528a0
Elimination Methods, 2000. ,
DOI : 10.1007/978-3-7091-6202-6
URL : https://hal.archives-ouvertes.fr/hal-01573183
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