{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T22:55:07Z","timestamp":1768344907654,"version":"3.49.0"},"reference-count":81,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2021,7,8]],"date-time":"2021-07-08T00:00:00Z","timestamp":1625702400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2021,7,8]],"date-time":"2021-07-08T00:00:00Z","timestamp":1625702400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"name":"Max Planck Institute for Informatics"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Math.Comput.Sci."],"published-print":{"date-parts":[[2021,9]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>We present a symbolic algorithmic approach that allows to compute invariant manifolds and corresponding reduced systems for differential equations modeling biological networks which comprise chemical reaction networks for cellular biochemistry, and compartmental models for pharmacology, epidemiology and ecology. Multiple time scales of a given network are obtained by scaling, based on tropical geometry. Our reduction is mathematically justified within a singular perturbation setting. The existence of invariant manifolds is subject to hyperbolicity conditions, for which we propose an algorithmic test based on Hurwitz criteria. We finally obtain a sequence of nested invariant manifolds and respective reduced systems on those manifolds. Our theoretical results are generally accompanied by rigorous algorithmic descriptions suitable for direct implementation based on existing off-the-shelf software systems, specifically symbolic computation libraries and Satisfiability Modulo Theories solvers. We present computational examples taken from the well-known BioModels database using our own prototypical implementations.<\/jats:p>","DOI":"10.1007\/s11786-021-00515-2","type":"journal-article","created":{"date-parts":[[2021,7,8]],"date-time":"2021-07-08T04:02:39Z","timestamp":1625716959000},"page":"499-534","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["Algorithmic Reduction of Biological Networks with Multiple Time Scales"],"prefix":"10.1007","volume":"15","author":[{"given":"Niclas","family":"Kruff","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1458-4663","authenticated-orcid":false,"given":"Christoph","family":"L\u00fcders","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-0003-4763-6869","authenticated-orcid":false,"given":"Sebastian","family":"Walcher","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2021,7,8]]},"reference":[{"key":"515_CR1","doi-asserted-by":"publisher","unstructured":"Barrett, C., Conway, C.L., Deters, M., Hadarean, L., Jovanovi\u0107, D., King, T., Reynolds, A., Tinelli, C.: CVC4. In: Gopalakrishnan, G., Qadeer, S. (eds.) Proc. CAV 2011. LNCS, vol. 6806, pp. 171\u2013177. Springer (2011). https:\/\/doi.org\/10.1007\/978-3-642-22110-1_14","DOI":"10.1007\/978-3-642-22110-1_14"},{"key":"515_CR2","unstructured":"Barrett, C., Fontaine, P., Tinelli, C.: The SMT-LIB standard: version 2.6. Technical report, Department of Computer Science, The University of Iowa (2017)"},{"key":"515_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0913-3","volume-title":"Gr\u00f6bner Bases, a Computational Approach to Commutative Algebra. Graduate Texts in Mathematics","author":"T Becker","year":"1993","unstructured":"Becker, T., Weispfenning, V., Kredel, H.: Gr\u00f6bner Bases, a Computational Approach to Commutative Algebra. Graduate Texts in Mathematics, vol. 141. Springer, Berlin (1993). https:\/\/doi.org\/10.1007\/978-1-4612-0913-3"},{"issue":"1\u20132","key":"515_CR4","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1016\/j.jsc.2006.02.004","volume":"42","author":"T Bogart","year":"2007","unstructured":"Bogart, T., Nedergaard Jensen, A., Speyer, D., Sturmfels, B., Thomas, R.R.: Computing tropical varieties. J. Symb. Comput. 42(1\u20132), 54\u201373 (2007). https:\/\/doi.org\/10.1016\/j.jsc.2006.02.004","journal-title":"J. Symb. Comput."},{"issue":"1341","key":"515_CR5","doi-asserted-by":"publisher","first-page":"67","DOI":"10.7490\/f1000research.1115995.1","volume":"7","author":"F Boulier","year":"2018","unstructured":"Boulier, F., Fages, F., Radulescu, O., Samal, S.S., Schuppert, A., Seiler, W.M., Sturm, T., Walcher, S., Weber, A.: The SYMBIONT project: symbolic methods for biological networks. F1000Research 7(1341), 67\u201370 (2018). https:\/\/doi.org\/10.7490\/f1000research.1115995.1","journal-title":"F1000Research"},{"issue":"3","key":"515_CR6","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1145\/3313880.3313885","volume":"52","author":"F Boulier","year":"2018","unstructured":"Boulier, F., Fages, F., Radulescu, O., Samal, S.S., Schuppert, A., Seiler, W.M., Sturm, T., Walcher, S., Weber, A.: The SYMBIONT project: symbolic methods for biological networks. ACM Commun. Comput. Algebra 52(3), 67\u201370 (2018). https:\/\/doi.org\/10.1145\/3313880.3313885","journal-title":"ACM Commun. Comput. Algebra"},{"key":"515_CR7","doi-asserted-by":"publisher","unstructured":"Bradford, R., Davenport, J.H., England, M., Errami, H., Gerdt, V., Grigoriev, D., Hoyt, C., Ko\u0161ta, M., Radulescu, O., Sturm, T., Weber, A.: A case study on the parametric occurrence of multiple steady states. In: Burr, M. (ed.) Proc. ISSAC 2017, pp. 45\u201352. ACM (2017), https:\/\/doi.org\/10.1145\/3087604.3087622","DOI":"10.1145\/3087604.3087622"},{"key":"515_CR8","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1016\/j.jsc.2019.07.008","volume":"98","author":"R Bradford","year":"2020","unstructured":"Bradford, R., Davenport, J.H., England, M., Errami, H., Gerdt, V., Grigoriev, D., Hoyt, C., Ko\u0161ta, M., Radulescu, O., Sturm, T., Weber, A.: Identifying the parametric occurrence of multiple steady states for some biological networks. J. Symb. Comput. 98, 84\u2013119 (2020). https:\/\/doi.org\/10.1016\/j.jsc.2019.07.008","journal-title":"J. Symb. Comput."},{"issue":"4","key":"515_CR9","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1145\/968708.968710","volume":"37","author":"CW Brown","year":"2003","unstructured":"Brown, C.W.: QEPCAD B: a program for computing with semi-algebraic sets using CADs. ACM SIGSAM Bull. 37(4), 97\u2013108 (2003). https:\/\/doi.org\/10.1145\/968708.968710","journal-title":"ACM SIGSAM Bull."},{"key":"515_CR10","unstructured":"Buchberger, B.: Ein Algorithmus zum Auffinden der Basiselemente des Restklassenringes nach einem nulldimensionalen Polynomideal. Doctoral dissertation, Mathematical Institute, University of Innsbruck, Innsbruck, Austria (1965)"},{"issue":"3","key":"515_CR11","doi-asserted-by":"publisher","first-page":"1425","DOI":"10.1137\/16m1067202","volume":"16","author":"PT Cardin","year":"2017","unstructured":"Cardin, P.T., Teixeira, M.A.: Fenichel theory for multiple time scale singular perturbation problems. SIAM J. Appl. Dyn. Syst. 16(3), 1425\u20131452 (2017). https:\/\/doi.org\/10.1137\/16m1067202","journal-title":"SIAM J. Appl. Dyn. Syst."},{"issue":"2","key":"515_CR12","doi-asserted-by":"publisher","first-page":"1223","DOI":"10.1137\/19M1241660","volume":"18","author":"PT Cardin","year":"2019","unstructured":"Cardin, P.T., Teixeira, M.A.: Corrigendum: Fenichel theory for multiple time scale singular perturbation problems. SIAM J. Appl. Dyn. Syst. 18(2), 1223 (2019). https:\/\/doi.org\/10.1137\/19M1241660","journal-title":"SIAM J. Appl. Dyn. Syst."},{"key":"515_CR13","doi-asserted-by":"publisher","unstructured":"Cimatti, A., Griggio, A., Schaafsma, B., Sebastiani, R.: The MathSAT5 SMT solver. In: Piterman, N., Smolka, S.A. (eds.) Proc. TACAS 2013. LNCS, vol. 7795, pp. 93\u2013107. Springer (2013). https:\/\/doi.org\/10.1007\/978-3-642-36742-7_7","DOI":"10.1007\/978-3-642-36742-7_7"},{"key":"515_CR14","doi-asserted-by":"publisher","unstructured":"Collins, G.E.: Quantifier elimination for the elementary theory of real closed fields by cylindrical algebraic decomposition. In: Brakhage, H. (ed.) Automata Theory and Formal Languages. 2nd GI Conference. LNCS, vol. 33, pp. 134\u2013183. Springer (1975). https:\/\/doi.org\/10.1007\/3-540-07407-4_17","DOI":"10.1007\/3-540-07407-4_17"},{"issue":"3","key":"515_CR15","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1016\/S0747-7171(08)80152-6","volume":"12","author":"GE Collins","year":"1991","unstructured":"Collins, G.E., Hong, H.: Partial cylindrical algebraic decomposition for quantifier elimination. J. Symb. Comput. 12(3), 299\u2013328 (1991). https:\/\/doi.org\/10.1016\/S0747-7171(08)80152-6","journal-title":"J. Symb. Comput."},{"key":"515_CR16","doi-asserted-by":"publisher","unstructured":"Cook, S.A.: The complexity of theorem-proving procedures. In: Proc. STOC \u201971, pp. 151\u2013158. ACM Press, New York, NY (1971). https:\/\/doi.org\/10.1145\/800157.805047","DOI":"10.1145\/800157.805047"},{"key":"515_CR17","doi-asserted-by":"publisher","unstructured":"Corzilius, F., Kremer, G., Junges, S., Schupp, S., \u00c1brah\u00e1m, E.: SMT-RAT: an open source C++ toolbox for strategic and parallel SMT solving. In: Heule, M., Weaver, S. (eds.) Proc. SAT 2015. LNCS, vol. 9340, pp. 360\u2013368. Springer (2015). https:\/\/doi.org\/10.1007\/978-3-319-24318-4_26","DOI":"10.1007\/978-3-319-24318-4_26"},{"key":"515_CR18","volume-title":"Combinatory Logic. Studies in Logic and the Foundations of Mathematics","author":"HB Curry","year":"1958","unstructured":"Curry, H.B., Feys, R.: Combinatory Logic. Studies in Logic and the Foundations of Mathematics, vol. I. North Holland Publishing Company, Amsterdam (1958)"},{"issue":"2","key":"515_CR19","doi-asserted-by":"publisher","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). https:\/\/doi.org\/10.1145\/261320.261324","journal-title":"ACM SIGSAM Bull."},{"key":"515_CR20","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/978-3-642-59932-3_11","volume-title":"Algorithmic Algebra and Number Theory","author":"A Dolzmann","year":"1998","unstructured":"Dolzmann, A., Sturm, T., Weispfenning, V.: Real quantifier elimination in practice. In: Matzat, B.H., Greuel, G.-M., Hiss, G. (eds.) Algorithmic Algebra and Number Theory, pp. 221\u2013247. Springer, Berlin (1998). https:\/\/doi.org\/10.1007\/978-3-642-59932-3_11"},{"key":"515_CR21","doi-asserted-by":"publisher","unstructured":"England, M., Errami, H., Grigoriev, D., Radulescu, O., Sturm, T., Weber, A.: Symbolic versus numerical computation and visualization of parameter regions for multistationarity of biological networks. In: Gerdt, V., Koepf, W., Seiler, W., Vorozhtsov, E. (eds.) Proc. CASC 2017. LNCS, vol. 10490, pp. 93\u2013108. Springer (2017). https:\/\/doi.org\/10.1007\/978-3-319-66320-3_8","DOI":"10.1007\/978-3-319-66320-3_8"},{"key":"515_CR22","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1016\/j.jcp.2015.02.050","volume":"291","author":"H Errami","year":"2015","unstructured":"Errami, H., Eiswirth, M., Grigoriev, D., Seiler, W.M., Sturm, T., Weber, A.: Detection of Hopf bifurcations in chemical reaction networks using convex coordinates. J. Comput. Phys. 291, 279\u2013302 (2015). https:\/\/doi.org\/10.1016\/j.jcp.2015.02.050","journal-title":"J. Comput. Phys."},{"key":"515_CR23","doi-asserted-by":"publisher","unstructured":"Errami, H., Seiler, W.M., Sturm, T., Weber, A.: On Muldowney\u2019s criteria for polynomial vector fields with constraints. In: Gerdt, V.P., Koepf, W., Mayr, E.W., Vorozhtsov, E.V. (eds.) Proc. CASC 2011. LNCS, vol. 6885, pp. 135\u2013143. Springer (2011). https:\/\/doi.org\/10.1007\/978-3-642-23568-9_11","DOI":"10.1007\/978-3-642-23568-9_11"},{"key":"515_CR24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-03858-8","volume-title":"Foundations of Chemical Reaction Network Theory. Applied Mathematical Sciences","author":"M Feinberg","year":"2019","unstructured":"Feinberg, M.: Foundations of Chemical Reaction Network Theory. Applied Mathematical Sciences, vol. 202. Springer, Berlin (2019). https:\/\/doi.org\/10.1007\/978-3-030-03858-8"},{"issue":"1","key":"515_CR25","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1016\/0022-0396(79)90152-9","volume":"31","author":"N Fenichel","year":"1979","unstructured":"Fenichel, N.: Geometric singular perturbation theory for ordinary differential equations. J. Differ. Equ. 31(1), 53\u201398 (1979). https:\/\/doi.org\/10.1016\/0022-0396(79)90152-9","journal-title":"J. Differ. Equ."},{"key":"515_CR26","unstructured":"Forrest, S.: Integration of SMT-LIB support into Maple. In: England, M., Ganesh, V. (eds.) Proc. Satisfiability Checking and Symbolic Computation 2017. CEUR Workshop Proceedings, vol. 1974. CEUR-WS, Kaiserslautern, Germany (2017)"},{"key":"515_CR27","volume-title":"The Theory of Matrices. Vol. 2. Translation from the Russian by K. A. Hirsch. Reprint of the 1959 translation edition","author":"FR Gantmacher","year":"1998","unstructured":"Gantmacher, F.R.: The Theory of Matrices. Vol. 2. Translation from the Russian by K. A. Hirsch. Reprint of the 1959 translation edition. AMS Chelsea Publishing, Providence, RI (1998)"},{"key":"515_CR28","unstructured":"Gario, M., Micheli, A.: PySMT: a solver-agnostic library for fast prototyping of SMT-based algorithms. In: SMT Workshop 2015. 13th International Workshop on Satisfiability Modulo Theories, Affiliated With the 27th International Conference on Computer Aided Verification, San Francisco, CA (2015)"},{"key":"515_CR29","doi-asserted-by":"publisher","unstructured":"von zur Gathen, J., Sieveking, M.: Weitere zum Erf\u00fcllungsproblem polynomial \u00e4quivalente kombinatorische Aufgaben. In: Strassen, V. (ed.) Komplexit\u00e4t von Entscheidungsproblemen. LNCS, vol. 43, chapter\u00a04, pp. 49\u201371. Springer (1976). https:\/\/doi.org\/10.1007\/3-540-07805-3_5","DOI":"10.1007\/3-540-07805-3_5"},{"issue":"1","key":"515_CR30","doi-asserted-by":"publisher","first-page":"2006","DOI":"10.1038\/msb4100068","volume":"2","author":"N Geva-Zatorsky","year":"2006","unstructured":"Geva-Zatorsky, N., Rosenfeld, N., Itzkovitz, S., Milo, R., Sigal, A., Dekel, E., Yarnitzky, T., Liron, Y., Polak, P., Lahav, G., Alon, U.: Oscillations and variability in the p53 system. Mol. Syst. Biol. 2(1), 2006\u20130033 (2006). https:\/\/doi.org\/10.1038\/msb4100068","journal-title":"Mol. Syst. Biol."},{"issue":"3","key":"515_CR31","doi-asserted-by":"publisher","first-page":"1149","DOI":"10.1016\/j.jde.2015.02.038","volume":"259","author":"A Goeke","year":"2015","unstructured":"Goeke, A., Walcher, S., Zerz, E.: Determining \u201csmall parameters\u201d for quasi-steady state. J. Differ. Equ. 259(3), 1149\u20131180 (2015). https:\/\/doi.org\/10.1016\/j.jde.2015.02.038","journal-title":"J. Differ. Equ."},{"issue":"1\u20132","key":"515_CR32","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/S0747-7171(88)80006-3","volume":"5","author":"D Grigoriev","year":"1988","unstructured":"Grigoriev, D.: Complexity of deciding Tarski algebra. J. Symb. Comput. 5(1\u20132), 65\u2013108 (1988). https:\/\/doi.org\/10.1016\/S0747-7171(88)80006-3","journal-title":"J. Symb. Comput."},{"key":"515_CR33","doi-asserted-by":"publisher","unstructured":"Grigoriev, D., Iosif, A., Rahkooy, H., Sturm, T., Weber, A.: Efficiently and effectively recognizing toricity of steady state varieties. Math. Comput. Sci. 15(2), 199\u2013232 (2021). https:\/\/doi.org\/10.1007\/s11786-020-00479-9","DOI":"10.1007\/s11786-020-00479-9"},{"issue":"1","key":"515_CR34","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1016\/0025-5564(67)90029-6","volume":"1","author":"FG Heineken","year":"1967","unstructured":"Heineken, F.G., Tsuchiya, H.M., Aris, R.: On the mathematical status of the pseudo-steady state hypothesis of biochemical kinetics. Math. Biosci. 1(1), 95\u2013113 (1967). https:\/\/doi.org\/10.1016\/0025-5564(67)90029-6","journal-title":"Math. Biosci."},{"issue":"1","key":"515_CR35","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1016\/0022-0396(69)90106-5","volume":"5","author":"F Hoppensteadt","year":"1969","unstructured":"Hoppensteadt, F.: On systems of ordinary differential equations with several parameters multiplying the derivatives. J. Differ. Equ. 5(1), 106\u2013116 (1969). https:\/\/doi.org\/10.1016\/0022-0396(69)90106-5","journal-title":"J. Differ. Equ."},{"key":"515_CR36","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/BF01446812","volume":"46","author":"A Hurwitz","year":"1895","unstructured":"Hurwitz, A.: Ueber die Bedingungen, unter welchen eine Gleichung nur Wurzeln mit negativen reellen Theilen besitzt. Math. Ann. 46, 273\u2013284 (1895). https:\/\/doi.org\/10.1007\/BF01446812","journal-title":"Math. Ann."},{"key":"515_CR37","doi-asserted-by":"publisher","unstructured":"IEEE Std. 754-2019: IEEE Standard for Floating-Point Arithmetic (2019). https:\/\/doi.org\/10.1109\/IEEESTD.2019.8766229","DOI":"10.1109\/IEEESTD.2019.8766229"},{"issue":"1","key":"515_CR38","first-page":"191","volume":"20","author":"LG Khachiyan","year":"1979","unstructured":"Khachiyan, L.G.: A polynomial algorithm in linear programming. Soviet Math. Dokl. 20(1), 191\u2013194 (1979)","journal-title":"Soviet Math. Dokl."},{"key":"515_CR39","doi-asserted-by":"publisher","unstructured":"Ko\u0161ta, M.: New concepts for real quantifier elimination by virtual substitution. Doctoral dissertation. Saarland University, Germany (2016). https:\/\/doi.org\/10.22028\/D291-26679","DOI":"10.22028\/D291-26679"},{"issue":"5","key":"515_CR40","doi-asserted-by":"publisher","first-page":"5062","DOI":"10.3934\/mbe.2019255","volume":"16","author":"N Kruff","year":"2019","unstructured":"Kruff, N., Walcher, S.: Coordinate-independent singular perturbation reduction for systems with three time scales. Math. Biosci. Eng. 16(5), 5062\u20135091 (2019). https:\/\/doi.org\/10.3934\/mbe.2019255","journal-title":"Math. Biosci. Eng."},{"issue":"1","key":"515_CR41","doi-asserted-by":"publisher","first-page":"1","DOI":"10.3934\/dcdsb.2019170","volume":"25","author":"C Lax","year":"2020","unstructured":"Lax, C., Walcher, S.: Singular perturbations and scaling. Discrete Cont. Dyn.-B 25(1), 1\u201329 (2020). https:\/\/doi.org\/10.3934\/dcdsb.2019170","journal-title":"Discrete Cont. Dyn.-B"},{"key":"515_CR42","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/j.idm.2018.03.004","volume":"3","author":"H Lee","year":"2018","unstructured":"Lee, H., Lao, A.: Transmission dynamics and control strategies assessment of avian influenza A (H5N6) in the Philippines. Infect. Dis. Model. 3, 35\u201359 (2018). https:\/\/doi.org\/10.1016\/j.idm.2018.03.004","journal-title":"Infect. Dis. Model."},{"issue":"9","key":"515_CR43","doi-asserted-by":"publisher","first-page":"e120","DOI":"10.1371\/journal.pcbi.0020120","volume":"2","author":"S Legewie","year":"2006","unstructured":"Legewie, S., Bl\u00fcthgen, N., Herzel, H.: Mathematical modeling identifies inhibitors of apoptosis as mediators of positive feedback and bistability. PLoS Comput. Biol. 2(9), e120 (2006). https:\/\/doi.org\/10.1371\/journal.pcbi.0020120","journal-title":"PLoS Comput. Biol."},{"issue":"4","key":"515_CR44","doi-asserted-by":"publisher","first-page":"538","DOI":"10.1287\/moor.8.4.538","volume":"8","author":"HW Lenstra Jr","year":"1983","unstructured":"Lenstra Jr., H.W.: Integer programming with a fixed number of variables. Math. Oper. Res. 8(4), 538\u2013548 (1983). https:\/\/doi.org\/10.1287\/moor.8.4.538","journal-title":"Math. Oper. Res."},{"issue":"3","key":"515_CR45","doi-asserted-by":"publisher","first-page":"426","DOI":"10.1007\/s10958-007-0450-5","volume":"140","author":"GL Litvinov","year":"2007","unstructured":"Litvinov, G.L.: Maslov dequantization, idempotent and tropical mathematics: a brief introduction. J. Math. Sci. 140(3), 426\u2013444 (2007). https:\/\/doi.org\/10.1007\/s10958-007-0450-5","journal-title":"J. Math. Sci."},{"key":"515_CR46","doi-asserted-by":"crossref","unstructured":"Litvinov, G.L., Sergeev, S.N.: Tropical and Idempotent Mathematics: International Workshop TROPICAL-07, Tropical and Idempotent Mathematics, August 25\u201330, 2007, Independent University of Moscow and Laboratory J.-V. Poncelet. Contemporary Mathematics, vol. 495. AMS (2009)","DOI":"10.1090\/conm\/495"},{"key":"515_CR47","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1016\/j.mbs.2016.11.014","volume":"283","author":"S Liu","year":"2017","unstructured":"Liu, S., Ruan, S., Zhang, X.: Nonlinear dynamics of avian influenza epidemic models. Math. Biosci. 283, 118\u2013135 (2017). https:\/\/doi.org\/10.1016\/j.mbs.2016.11.014","journal-title":"Math. Biosci."},{"key":"515_CR48","unstructured":"L\u00fcders, C.: Computing tropical prevarieties with satisfiability modulo theories (SMT) solvers. In: Fontaine, P., Korovin, K., Kotsireas, I.S., R\u00fcmmer, P., Tourret, S. (eds.) Proc. SC-Square 2020, Co-Located With IJCAR 2020. CEUR Workshop Proceedings, vol. 2752, pp. 189\u2013203. CEUR-WS, June\u2013July (2020)"},{"key":"515_CR49","doi-asserted-by":"publisher","first-page":"e103","DOI":"10.7717\/peerj-cs.103","volume":"3","author":"A Meurer","year":"2017","unstructured":"Meurer, A., Smith, C.P., Paprocki, M., \u010cert\u00edk, O., Kirpichev, S.B., Rocklin, M., Kumar, A., Ivanov, S., Moore, J.K., Singh, S., Rathnayake, T., Vig, S., Granger, B.E., Muller, R.P., Bonazzi, F., Gupta, H., Vats, S., Johansson, F., Pedregosa, F., Curry, M.J., Terrel, A.R., Rou\u010dka, \u0160., Saboo, A., Fernando, I., Kulal, S., Cimrman, R., Scopatz, A.: SymPy: symbolic computing in Python. PeerJ Comput. Sci. 3, e103 (2017). https:\/\/doi.org\/10.7717\/peerj-cs.103","journal-title":"PeerJ Comput. Sci."},{"issue":"2","key":"515_CR50","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1090\/S0894-0347-05-00477-7","volume":"18","author":"G Mikhalkin","year":"2005","unstructured":"Mikhalkin, G.: Enumerative tropical algebraic geometry in $$\\mathbb{R}^2$$. J. Am. Math. Soc. 18(2), 313\u2013377 (2005). https:\/\/doi.org\/10.1090\/S0894-0347-05-00477-7","journal-title":"J. Am. Math. Soc."},{"key":"515_CR51","doi-asserted-by":"publisher","unstructured":"de Moura, L., Bj\u00f8rner, N.: Z3: an efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) Proc. TACAS 2008. LNCS, vol. 4963, pp. 337\u2013340. Springer (2008). https:\/\/doi.org\/10.1007\/978-3-540-78800-3_24","DOI":"10.1007\/978-3-540-78800-3_24"},{"issue":"6","key":"515_CR52","doi-asserted-by":"publisher","first-page":"937","DOI":"10.1145\/1217856.1217859","volume":"53","author":"R Nieuwenhuis","year":"2006","unstructured":"Nieuwenhuis, R., Oliveras, A., Tinelli, C.: Solving SAT and SAT modulo theories: from an abstract Davis-Putnam-Logemann-Loveland procedure to DPLL(T). J. ACM 53(6), 937\u2013977 (2006). https:\/\/doi.org\/10.1145\/1217856.1217859","journal-title":"J. ACM"},{"key":"515_CR53","doi-asserted-by":"publisher","unstructured":"Nipp, K.: An algorithmic approach for solving singularly perturbed initial value problems. In: Kirchgraber, U., Walther, H. (eds.) Dynamics Reported, vol. 1, pp. 173\u2013263. John Wiley & Sons and B. G. Teubner, Hoboken (1988), https:\/\/doi.org\/10.1007\/978-3-322-96656-8_4","DOI":"10.1007\/978-3-322-96656-8_4"},{"key":"515_CR54","doi-asserted-by":"publisher","unstructured":"Noel, V., Grigoriev, D., Vakulenko, S., Radulescu, O.: Tropical geometries and dynamics of biochemical networks application to hybrid cell cycle models. In: Feret, J., Levchenko, A. (eds.) Proc. SASB 2011. ENTCS, vol. 284, pp. 75\u201391. Elsevier, Amsterdam (2012), https:\/\/doi.org\/10.1016\/j.entcs.2012.05.016","DOI":"10.1016\/j.entcs.2012.05.016"},{"key":"515_CR55","doi-asserted-by":"publisher","unstructured":"Noel, V., Grigoriev, D., Vakulenko, S., Radulescu, O.: Tropicalization and tropical equilibration of chemical reactions. In: Litvinov, G.L., Sergeev, S.N. (eds.) Tropical and Idempotent Mathematics and Applications. Contemporary Mathematics, vol. 616, pp. 261\u2013277. AMS, Providence (2014), https:\/\/doi.org\/10.1090\/conm\/616\/12316","DOI":"10.1090\/conm\/616\/12316"},{"issue":"4","key":"515_CR56","doi-asserted-by":"publisher","first-page":"1341","DOI":"10.1137\/090758180","volume":"70","author":"L Noethen","year":"2009","unstructured":"Noethen, L., Walcher, S.: Quasi-steady state and nearly invariant sets. SIAM J. Appl. Math. 70(4), 1341\u20131363 (2009). https:\/\/doi.org\/10.1137\/090758180","journal-title":"SIAM J. Appl. Math."},{"key":"515_CR57","doi-asserted-by":"publisher","unstructured":"Le Nov\u00e8re, N., Bornstein, B., Broicher, A., Courtot, M., Donizelli, M., Dharuri, H., Li, L., Sauro, H., Schilstra, M., Shapiro, B., Snoep, J.L., Hucka, M.: BioModels database: a free, centralized database of curated, published, quantitative kinetic models of biochemical and cellular systems. Nucleic Acids Res. 34(supp\\_1), D689\u2013D691 (2006). https:\/\/doi.org\/10.1093\/nar\/gkj092","DOI":"10.1093\/nar\/gkj092"},{"key":"515_CR58","doi-asserted-by":"publisher","first-page":"131","DOI":"10.3389\/fgene.2012.00131","volume":"3","author":"O Radulescu","year":"2012","unstructured":"Radulescu, O., Gorban, A.N., Zinovyev, A., Noel, V.: Reduction of dynamical biochemical reactions networks in computational biology. Front. Genet. 3, 131 (2012). https:\/\/doi.org\/10.3389\/fgene.2012.00131","journal-title":"Front. Genet."},{"issue":"3","key":"515_CR59","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1051\/mmnp\/201510310","volume":"10","author":"O Radulescu","year":"2015","unstructured":"Radulescu, O., Vakulenko, S., Grigoriev, D.: Model reduction of biochemical reactions networks by tropical analysis methods. Math. Model. Nat. Phenom. 10(3), 124\u2013138 (2015). https:\/\/doi.org\/10.1051\/mmnp\/201510310","journal-title":"Math. Model. Nat. Phenom."},{"key":"515_CR60","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1016\/j.jtbi.2015.08.021","volume":"386","author":"D Reddyhoff","year":"2015","unstructured":"Reddyhoff, D., Ward, J., Williams, D., Regan, S., Webb, S.: Timescale analysis of a mathematical model of acetaminophen metabolism and toxicity. J. Theor. Biol. 386, 132\u2013146 (2015). https:\/\/doi.org\/10.1016\/j.jtbi.2015.08.021","journal-title":"J. Theor. Biol."},{"key":"515_CR61","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1016\/j.mbs.2017.02.005","volume":"286","author":"S Ruan","year":"2017","unstructured":"Ruan, S.: Modeling the transmission dynamics and control of rabies in China. Math. Biosci. 286, 65\u201393 (2017). https:\/\/doi.org\/10.1016\/j.mbs.2017.02.005","journal-title":"Math. Biosci."},{"key":"515_CR62","doi-asserted-by":"publisher","unstructured":"Samal, S.S., Grigoriev, D., Fr\u00f6hlich, H., Radulescu, O.: Analysis of reaction network systems using tropical geometry. In: Gerdt, V., Koepf, W., Seiler, W., Vorozhtsov, E. (eds.) Proc. CASC 2015. LNCS, vol. 9301, pp. 424\u2013439. Springer (2015), https:\/\/doi.org\/10.1007\/978-3-319-24021-3_31","DOI":"10.1007\/978-3-319-24021-3_31"},{"issue":"12","key":"515_CR63","doi-asserted-by":"publisher","first-page":"2180","DOI":"10.1007\/s11538-015-0118-0","volume":"77","author":"SS Samal","year":"2015","unstructured":"Samal, S.S., Grigoriev, D., Fr\u00f6hlich, H., Weber, A., Radulescu, O.: A geometric method for model reduction of biochemical networks with polynomial rate functions. Bull. Math. Biol. 77(12), 2180\u20132211 (2015). https:\/\/doi.org\/10.1007\/s11538-015-0118-0","journal-title":"Bull. Math. Biol."},{"issue":"5","key":"515_CR64","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1007\/s002850000026","volume":"40","author":"KR Schneider","year":"2000","unstructured":"Schneider, K.R., Wilhelm, T.: Model reduction by extended quasi-steady-state approximation. J. Math. Biol. 40(5), 443\u2013450 (2000). https:\/\/doi.org\/10.1007\/s002850000026","journal-title":"J. Math. Biol."},{"key":"515_CR65","doi-asserted-by":"publisher","unstructured":"Schrijver, A.: Theory of Linear and Integer Programming. John Wiley & Sons, Chichester (1998). https:\/\/doi.org\/10.1002\/oca.4660100108","DOI":"10.1002\/oca.4660100108"},{"issue":"3","key":"515_CR66","doi-asserted-by":"publisher","first-page":"446","DOI":"10.1137\/1031091","volume":"31","author":"LA Segel","year":"1989","unstructured":"Segel, L.A., Slemrod, M.: The quasi-steady-state assumption: a case study in perturbation. SIAM Rev. 31(3), 446\u2013477 (1989). https:\/\/doi.org\/10.1137\/1031091","journal-title":"SIAM Rev."},{"key":"515_CR67","doi-asserted-by":"publisher","unstructured":"Seiler, W.M., Sei\u00df, M., Sturm, T.: A logic based approach to finding real singularities of implicit ordinary differential equations. Math. Comput. Sci. 15(2), 333\u2013352 (2021). https:\/\/doi.org\/10.1007\/s11786-020-00485-x","DOI":"10.1007\/s11786-020-00485-x"},{"key":"515_CR68","doi-asserted-by":"publisher","unstructured":"Sommer-Simpson, J., Reinitz, J., Fridlyand, L., Philipson, L., Radulescu, O.: Hybrid reductions of computational models of ion channels coupled to cellular biochemistry. In: Bartocci, E., Lio, P., Paoletti, N. (eds.) Proc. CMSB 2016. LNCS, vol. 9859, p. 273. Springer (2016), https:\/\/doi.org\/10.1007\/978-3-319-45177-0_17","DOI":"10.1007\/978-3-319-45177-0_17"},{"issue":"3\u20134","key":"515_CR69","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1007\/s11786-017-0319-z","volume":"11","author":"T Sturm","year":"2017","unstructured":"Sturm, T.: A survey of some methods for real quantifier elimination, decision, and satisfiability and their applications. Math. Comput. Sci. 11(3\u20134), 483\u2013502 (2017). https:\/\/doi.org\/10.1007\/s11786-017-0319-z","journal-title":"Math. Comput. Sci."},{"key":"515_CR70","doi-asserted-by":"publisher","unstructured":"Sturm, T. : Thirty years of virtual substitution: Foundations, techniques, applications. In: Arreche, C. (ed.) Proc. ISSAC 2018, pp. 11\u201316. ACM (2018), https:\/\/doi.org\/10.1145\/3208976.3209030","DOI":"10.1145\/3208976.3209030"},{"key":"515_CR71","doi-asserted-by":"publisher","unstructured":"Sturm, T., Weber, A.: Investigating generic methods to solve Hopf bifurcation problems in algebraic biology. In: Horimoto, K. (ed.) Proc. Algebraic Biology 2008. LNCS, vol. 5147, pp. 200\u2013215. Springer (2008), https:\/\/doi.org\/10.1007\/978-3-540-85101-1_15","DOI":"10.1007\/978-3-540-85101-1_15"},{"issue":"3","key":"515_CR72","doi-asserted-by":"publisher","first-page":"493","DOI":"10.1007\/s11786-008-0067-1","volume":"2","author":"T Sturm","year":"2009","unstructured":"Sturm, T., Weber, A., Abdel-Rahman, E.O., El Kahoui, M.: Investigating algebraic and logical algorithms to solve Hopf bifurcation problems in algebraic biology. Math. Comput. Sci. 2(3), 493\u2013515 (2009). https:\/\/doi.org\/10.1007\/s11786-008-0067-1","journal-title":"Math. Comput. Sci."},{"key":"515_CR73","unstructured":"Tarski, A.: A decision method for elementary algebra and geometry. Prepared for publication by J.C.C. McKinsey. R109, August 1, 1948, Revised May 1951, Second Edition. RAND Report. RAND, Santa Monica, CA (1957)"},{"issue":"3","key":"515_CR74","first-page":"575","volume":"73","author":"AN Tikhonov","year":"1952","unstructured":"Tikhonov, A.N.: Systems of differential equations containing small parameters in the derivatives. Mat. Sb. (N. S.) 73(3), 575\u2013586 (1952)","journal-title":"Mat. Sb. (N. S.)"},{"issue":"13","key":"515_CR75","doi-asserted-by":"publisher","first-page":"4665","DOI":"10.1016\/j.jcp.2009.03.011","volume":"228","author":"M Valorani","year":"2009","unstructured":"Valorani, M., Paolucci, S.: The G-scheme: a framework for multi-scale adaptive model reduction. J. Comput. Phys. 228(13), 4665\u20134701 (2009). https:\/\/doi.org\/10.1016\/j.jcp.2009.03.011","journal-title":"J. Comput. Phys."},{"issue":"1","key":"515_CR76","doi-asserted-by":"publisher","first-page":"e3","DOI":"10.1371\/journal.pcbi.0020003","volume":"2","author":"JMG Vilar","year":"2006","unstructured":"Vilar, J.M.G., Jansen, R., Sander, C.: Signal processing in the TGF-$$\\beta $$ superfamily ligand-receptor network. PLoS Comput. Biol. 2(1), e3 (2006). https:\/\/doi.org\/10.1371\/journal.pcbi.0020003","journal-title":"PLoS Comput. Biol."},{"key":"515_CR77","doi-asserted-by":"publisher","unstructured":"Viro, O.: Dequantization of real algebraic geometry on logarithmic paper. In: Casacuberta, C., Mir\u00f3-Roig, R.M., Verdera, J., Xamb\u00f3-Descamps, S. (eds.) European Congress of Mathematics, Progress in Mathematics, vol. 201, pp. 135\u2013146. Springer, Berlin (2001), https:\/\/doi.org\/10.1007\/978-3-0348-8268-2_8","DOI":"10.1007\/978-3-0348-8268-2_8"},{"issue":"4","key":"515_CR78","doi-asserted-by":"publisher","first-page":"899","DOI":"10.1007\/s11538-010-9618-0","volume":"73","author":"A Weber","year":"2011","unstructured":"Weber, A., Sturm, T., Abdel-Rahman, E.O.: Algorithmic global criteria for excluding oscillations. Bull. Math. Biol. 73(4), 899\u2013916 (2011). https:\/\/doi.org\/10.1007\/s11538-010-9618-0","journal-title":"Bull. Math. Biol."},{"issue":"1\u20132","key":"515_CR79","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/S0747-7171(88)80003-8","volume":"5","author":"V Weispfenning","year":"1988","unstructured":"Weispfenning, V.: The complexity of linear problems in fields. J. Symb. Comput. 5(1\u20132), 3\u201327 (1988). https:\/\/doi.org\/10.1016\/S0747-7171(88)80003-8","journal-title":"J. Symb. Comput."},{"issue":"2","key":"515_CR80","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/s002000050055","volume":"8","author":"V Weispfenning","year":"1997","unstructured":"Weispfenning, V.: Quantifier elimination for real algebra\u2014the quadratic case and beyond. Appl. Algebr. Eng. Commun. 8(2), 85\u2013101 (1997). https:\/\/doi.org\/10.1007\/s002000050055","journal-title":"Appl. Algebr. Eng. Commun."},{"issue":"1","key":"515_CR81","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1016\/j.mbs.2007.01.007","volume":"209","author":"D Wodarz","year":"2007","unstructured":"Wodarz, D., Hamer, D.H.: Infection dynamics in HIV-specific CD4 T cells: does a CD4 T cell boost benefit the host or the virus? Math. Biosci. 209(1), 14\u201329 (2007). https:\/\/doi.org\/10.1016\/j.mbs.2007.01.007","journal-title":"Math. Biosci."}],"container-title":["Mathematics in Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11786-021-00515-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11786-021-00515-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11786-021-00515-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,23]],"date-time":"2021-07-23T04:24:40Z","timestamp":1627014280000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11786-021-00515-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,7,8]]},"references-count":81,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2021,9]]}},"alternative-id":["515"],"URL":"https:\/\/doi.org\/10.1007\/s11786-021-00515-2","relation":{},"ISSN":["1661-8270","1661-8289"],"issn-type":[{"value":"1661-8270","type":"print"},{"value":"1661-8289","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,7,8]]},"assertion":[{"value":"16 October 2020","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"2 March 2021","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"16 March 2021","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 July 2021","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}