{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,9]],"date-time":"2026-03-09T10:15:29Z","timestamp":1773051329924,"version":"3.50.1"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319663197","type":"print"},{"value":"9783319663203","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-66320-3_8","type":"book-chapter","created":{"date-parts":[[2017,8,29]],"date-time":"2017-08-29T07:34:27Z","timestamp":1503992067000},"page":"93-108","source":"Crossref","is-referenced-by-count":12,"title":["Symbolic Versus Numerical Computation and Visualization of Parameter Regions for Multistationarity of Biological Networks"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-5729-3420","authenticated-orcid":false,"given":"Matthew","family":"England","sequence":"first","affiliation":[]},{"given":"Hassan","family":"Errami","sequence":"additional","affiliation":[]},{"given":"Dima","family":"Grigoriev","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6453-5707","authenticated-orcid":false,"given":"Ovidiu","family":"Radulescu","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8088-340X","authenticated-orcid":false,"given":"Thomas","family":"Sturm","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5624-3368","authenticated-orcid":false,"given":"Andreas","family":"Weber","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,8,30]]},"reference":[{"key":"8_CR1","doi-asserted-by":"publisher","unstructured":"Bates, D.J., Hauenstein, J.D., Sommese, A.J., Wampler, C.W.: Bertini: software for numerical algebraic geometry. doi:\n10.7274\/R0H41PB5","DOI":"10.7274\/R0H41PB5"},{"issue":"5400","key":"8_CR2","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1126\/science.283.5400.381","volume":"283","author":"US Bhalla","year":"1999","unstructured":"Bhalla, U.S., Iyengar, R.: Emergent properties of networks of biological signaling pathways. Science 283(5400), 381\u2013387 (1999)","journal-title":"Science"},{"key":"8_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/978-3-319-10515-4_4","volume-title":"Computer Algebra in Scientific Computing","author":"R Bradford","year":"2014","unstructured":"Bradford, R., Chen, C., Davenport, J.H., England, M., Moreno Maza, M., Wilson, D.: Truth table invariant cylindrical algebraic decomposition by regular chains. In: Gerdt, V.P., Koepf, W., Seiler, W.M., Vorozhtsov, E.V. (eds.) CASC 2014. LNCS, vol. 8660, pp. 44\u201358. Springer, Cham (2014). doi:\n10.1007\/978-3-319-10515-4_4"},{"key":"8_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.jsc.2015.11.002","volume":"76","author":"R Bradford","year":"2016","unstructured":"Bradford, R., Davenport, J., England, M., McCallum, S., Wilson, D.: Truth table invariant cylindrical algebraic decomposition. J. Symb. Comput. 76, 1\u201335 (2016)","journal-title":"J. Symb. Comput."},{"key":"8_CR5","doi-asserted-by":"crossref","unstructured":"Bradford, R., Davenport, J., England, M., Errami, H., Gerdt, V., Grigoriev, D., Hoyt, C., Kosta, M., Radulescu, O., Sturm, T., Weber, A.: A case study on the parametric occurrence of multiple steady states. In: Proceedings of the ISSAC 2017, pp. 45\u201352. ACM (2017)","DOI":"10.1145\/3087604.3087622"},{"key":"8_CR6","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.jsc.2011.12.014","volume":"49","author":"C Chen","year":"2013","unstructured":"Chen, C., Davenport, J., May, J., Moreno Maza, M., Xia, B., Xiao, R.: Triangular decomposition of semi-algebraic systems. J. Symb. Comput. 49, 3\u201326 (2013)","journal-title":"J. Symb. Comput."},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Chen, C., Moreno Maza, M., Xia, B., Yang, L.: Computing cylindrical algebraic decomposition via triangular decomposition. In: Proceedings of the ISSAC 2009, pp. 95\u2013102. ACM (2009)","DOI":"10.1145\/1576702.1576718"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Conradi, C., Mincheva, M.: Catalytic constants enable the emergence of bistability in dual phosphorylation. J. Roy. Soc. Interface 11(95) (2014)","DOI":"10.1098\/rsif.2014.0158"},{"issue":"1","key":"8_CR9","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/j.mbs.2007.10.004","volume":"211","author":"C Conradi","year":"2008","unstructured":"Conradi, C., Flockerzi, D., Raisch, J.: Multistationarity in the activation of a MAPK: parametrizing the relevant region in parameter space. Math. Biosci. 211(1), 105\u201331 (2008)","journal-title":"Math. Biosci."},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Dolzmann, A., Seidl, A., Sturm, T.: Efficient projection orders for CAD. In: Proceedings of the ISSAC 2004, pp. 111\u2013118. ACM (2004)","DOI":"10.1145\/1005285.1005303"},{"issue":"2","key":"8_CR11","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1145\/261320.261324","volume":"31","author":"A Dolzmann","year":"1997","unstructured":"Dolzmann, A., Sturm, T.: Redlog: computer algebra meets computer logic. ACM SIGSAM Bull. 31(2), 2\u20139 (1997)","journal-title":"ACM SIGSAM Bull."},{"issue":"2","key":"8_CR12","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1006\/jsco.1997.0123","volume":"24","author":"A Dolzmann","year":"1997","unstructured":"Dolzmann, A., Sturm, T.: Simplification of quantifier-free formulae over ordered fields. J. Symb. Comput. 24(2), 209\u2013231 (1997)","journal-title":"J. Symb. Comput."},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"England, M., Bradford, R., Davenport, J.: Improving the use of equational constraints in cylindrical algebraic decomposition. In: Proceedings ISSAC 2015, pp. 165\u2013172. ACM (2015)","DOI":"10.1145\/2755996.2756678"},{"issue":"1","key":"8_CR14","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1016\/S0006-3495(03)74450-6","volume":"85","author":"I Famili","year":"2003","unstructured":"Famili, I., Palsson, B.\u00d8.: The convex basis of the left null space of the stoichiometric matrix leads to the definition of metabolically meaningful pools. Biophys. J. 85(1), 16\u201326 (2003)","journal-title":"Biophys. J ."},{"issue":"12","key":"8_CR15","doi-asserted-by":"crossref","first-page":"7821","DOI":"10.1073\/pnas.122653799","volume":"99","author":"M Girvan","year":"2002","unstructured":"Girvan, M., Newman, M.E.J.: Community structure in social and biological networks. Proc. Natl. Acad. Sci. USA 99(12), 7821\u20137826 (2002)","journal-title":"Proc. Natl. Acad. Sci. USA"},{"issue":"1","key":"8_CR16","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1435375.1435381","volume":"5","author":"F Grandoni","year":"2008","unstructured":"Grandoni, F., K\u00f6nemann, J., Panconesi, A.: Distributed weighted vertex cover via maximal matchings. ACM Trans. Algorithms 5(1), 1\u201312 (2008)","journal-title":"ACM Trans. Algorithms"},{"issue":"5","key":"8_CR17","doi-asserted-by":"crossref","first-page":"100","DOI":"10.1051\/mmnp\/201510507","volume":"10","author":"D Grigoriev","year":"2015","unstructured":"Grigoriev, D., Samal, S.S., Vakulenko, S., Weber, A.: Algorithms to study large metabolic network dynamics. Math. Model. Nat. Phenom. 10(5), 100\u2013118 (2015)","journal-title":"Math. Model. Nat. Phenom."},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"Gross, E., Davis, B., Ho, K.L., Bates, D.J., Harrington, H.A.: Numerical algebraic geometry for model selection and its application to the life sciences. J. Roy. Soc. Interface 13(123) (2016)","DOI":"10.1098\/rsif.2016.0256"},{"key":"8_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1007\/978-3-319-08434-3_8","volume-title":"Intelligent Computer Mathematics","author":"Z Huang","year":"2014","unstructured":"Huang, Z., England, M., Wilson, D., Davenport, J.H., Paulson, L.C., Bridge, J.: Applying machine learning to the problem of choosing a heuristic to select the variable ordering for cylindrical algebraic decomposition. In: Watt, S.M., Davenport, J.H., Sexton, A.P., Sojka, P., Urban, J. (eds.) CICM 2014. LNCS, vol. 8543, pp. 92\u2013107. Springer, Cham (2014). doi:\n10.1007\/978-3-319-08434-3_8"},{"issue":"5","key":"8_CR20","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1051\/mmnp\/201510504","volume":"10","author":"B Joshi","year":"2015","unstructured":"Joshi, B., Shiu, A.: A survey of methods for deciding whether a reaction network is multistationary. Math. Model. Nat. Phenom. 10(5), 47\u201367 (2015)","journal-title":"Math. Model. Nat. Phenom."},{"key":"8_CR21","doi-asserted-by":"crossref","unstructured":"Karp, R.M.: Reducibility among combinatorial problems. In: Complexity of Computer Computations, pp. 85\u2013103. Plenum Press, New York (1972)","DOI":"10.1007\/978-1-4684-2001-2_9"},{"key":"8_CR22","unstructured":"Ko\u0161ta, M.: New concepts for real quantifier elimination by virtual substitution. Doctoral dissertation, Saarland University, Germany, December 2016"},{"issue":"7","key":"8_CR23","doi-asserted-by":"crossref","first-page":"2279","DOI":"10.1529\/biophysj.107.109132","volume":"93","author":"S Legewie","year":"2007","unstructured":"Legewie, S., Schoeberl, B., Bl\u00fcthgen, N., Herzel, H.: Competing docking interactions can bring about bistability in the MAPK cascade. Biophys. J. 93(7), 2279\u20132288 (2007)","journal-title":"Biophys. J ."},{"key":"8_CR24","doi-asserted-by":"crossref","first-page":"92","DOI":"10.1186\/1752-0509-4-92","volume":"4","author":"C Li","year":"2010","unstructured":"Li, C., Donizelli, M., Rodriguez, N., Dharuri, H., Endler, L., Chelliah, V., Li, L., He, E., Henry, A., Stefan, M.I., Snoep, J.L., Hucka, M., Le Nov\u00e8re, N., Laibe, C.: BioModels database: an enhanced, curated and annotated resource for published quantitative kinetic models. BMC Syst. Biol. 4, 92 (2010)","journal-title":"BMC Syst. Biol."},{"issue":"5","key":"8_CR25","doi-asserted-by":"crossref","first-page":"450","DOI":"10.1093\/comjnl\/36.5.450","volume":"36","author":"R Loos","year":"1993","unstructured":"Loos, R., Weispfenning, V.: Applying linear quantifier elimination. Comput. J. 36(5), 450\u2013462 (1993)","journal-title":"Comput. J."},{"issue":"3","key":"8_CR26","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1083\/jcb.200308060","volume":"164","author":"NI Markevich","year":"2004","unstructured":"Markevich, N.I., Hoek, J.B., Kholodenko, B.N.: Signaling switches and bistability arising from multisite phosphorylation in protein kinase cascades. J. Cell Biol. 164(3), 353\u2013359 (2004)","journal-title":"J. Cell Biol."},{"key":"8_CR27","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1016\/j.mbs.2014.12.010","volume":"262","author":"M P\u00e9rez Mill\u00e1n","year":"2015","unstructured":"P\u00e9rez Mill\u00e1n, M., Turjanski, A.G.: MAPK\u2019s networks and their capacity for multistationarity due to toric steady states. Math. Biosci. 262, 125\u201337 (2015)","journal-title":"Math. Biosci."},{"key":"8_CR28","volume-title":"Mathematical Biophysics: Physico-Mathematical Foundations of Biology","author":"N Rashevsky","year":"1960","unstructured":"Rashevsky, N.: Mathematical Biophysics: Physico-Mathematical Foundations of Biology. Dover, New York (1960)"},{"key":"8_CR29","volume-title":"Elimination Methods","author":"D Wang","year":"2000","unstructured":"Wang, D.: Elimination Methods. Springer, Heidelberg (2000)"},{"issue":"3","key":"8_CR30","doi-asserted-by":"crossref","first-page":"481","DOI":"10.1016\/j.jtbi.2010.04.025","volume":"265","author":"M Zumsande","year":"2010","unstructured":"Zumsande, M., Gross, T.: Bifurcations and chaos in the MAPK signaling cascade. J. Theoret. Biol. 265(3), 481\u2013491 (2010)","journal-title":"J. Theoret. Biol."}],"container-title":["Lecture Notes in Computer Science","Computer Algebra in Scientific Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-66320-3_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,8,30]],"date-time":"2017-08-30T03:25:04Z","timestamp":1504063504000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-66320-3_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319663197","9783319663203"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66320-3_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}