{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:40:14Z","timestamp":1725565214085},"publisher-location":"Berlin, Heidelberg","reference-count":42,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642152733"},{"type":"electronic","value":"9783642152740"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-15274-0_24","type":"book-chapter","created":{"date-parts":[[2010,9,4]],"date-time":"2010-09-04T14:17:34Z","timestamp":1283609854000},"page":"267-279","source":"Crossref","is-referenced-by-count":2,"title":["Parametric Qualitative Analysis of Ordinary Differential Equations: Computer Algebra Methods for Excluding Oscillations (Extended Abstract) (Invited Talk)"],"prefix":"10.1007","author":[{"given":"Andreas","family":"Weber","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Sturm","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Werner M.","family":"Seiler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Essam O.","family":"Abdel-Rahman","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"24_CR1","doi-asserted-by":"publisher","first-page":"301","DOI":"10.1090\/S0273-0979-02-00946-1","volume":"39","author":"Y. Ilyashenko","year":"2002","unstructured":"Ilyashenko, Y.: Centennial history of Hilbert\u2019s 16th Problem. Bull. Am. Math. Soc., New Ser.\u00a039(3), 301\u2013354 (2002)","journal-title":"Bull. Am. Math. Soc., New Ser."},{"issue":"3","key":"24_CR2","first-page":"493","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. Mathematics in Computer Science, Special issue on \u2018Symbolic Computation in Biology\u2019\u00a02(3), 493\u2013515 (2009)","journal-title":"Mathematics in Computer Science, Special issue on \u2018Symbolic Computation in Biology\u2019"},{"issue":"3","key":"24_CR3","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1007\/s11786-007-0039-x","volume":"1","author":"W. Niu","year":"2008","unstructured":"Niu, W., Wang, D.: Algebraic approaches to stability analysis of biological systems. Mathematics in Computer Science\u00a01(3), 507\u2013539 (2008)","journal-title":"Mathematics in Computer Science"},{"key":"24_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-85101-1_15","volume-title":"Algebraic Biology","author":"T. Sturm","year":"2008","unstructured":"Sturm, T., Weber, A.: Investigating generic methods to solve Hopf bifurcation problems in algebraic biology. In: Horimoto, K., Regensburger, G., Rosenkranz, M., Yoshida, H. (eds.) AB 2008. LNCS, vol.\u00a05147, pp. 200\u2013215. Springer, Heidelberg (2008)"},{"key":"24_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/978-3-540-73433-8_6","volume-title":"Algebraic Biology","author":"F. Boulier","year":"2007","unstructured":"Boulier, F., Lefranc, M., Lemaire, F., Morant, P., \u00dcrg\u00fcpl\u00fc, A.: On proving the absence of oscillations in models of genetic circuits. In: Anai, H., Horimoto, K., Kutsia, T. (eds.) Ab 2007. LNCS, vol.\u00a04545, pp. 66\u201380. Springer, Heidelberg (2007)"},{"key":"24_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1007\/978-3-540-85101-1_5","volume-title":"Algebraic Biology","author":"F. Boulier","year":"2008","unstructured":"Boulier, F., Lefranc, M., Lemaire, F., Morant, P.E.: Applying a rigorous quasi-steady state approximation method for proving the absence of oscillations in models of genetic circuits. In: Horimoto, K., Regensburger, G., Rosenkranz, M., Yoshida, H. (eds.) AB 2008. LNCS, vol.\u00a05147, pp. 56\u201364. Springer, Heidelberg (2008)"},{"key":"24_CR7","unstructured":"El Kahoui, M., Weber, A.: Symbolic equilibrium point analysis in parameterized polynomial vector fields. In: Ganzha, V.G., Mayr, E.W., Vorozhtsov, E.V. (eds.) Computer Algebra in Scientific Computing (CASC 2002), Yalta, Ukraine, pp. 71\u201383 (September 2002)"},{"issue":"2","key":"24_CR8","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1006\/jsco.1999.0353","volume":"30","author":"M. Kahoui El","year":"2000","unstructured":"El Kahoui, M., Weber, A.: Deciding Hopf bifurcations by quantifier elimination in a software-component architecture. Journal of Symbolic Computation\u00a030(2), 161\u2013179 (2000)","journal-title":"Journal of Symbolic Computation"},{"issue":"2","key":"24_CR9","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1006\/jsco.1997.0121","volume":"24","author":"H. Hong","year":"1997","unstructured":"Hong, H., Liska, R., Steinberg, S.: Testing stability by quantifier elimination. Journal of Symbolic Computation\u00a024(2), 161\u2013187 (1997)","journal-title":"Journal of Symbolic Computation"},{"issue":"6","key":"24_CR10","doi-asserted-by":"publisher","first-page":"1361","DOI":"10.1016\/j.jsc.2005.07.002","volume":"40","author":"K. Gatermann","year":"2005","unstructured":"Gatermann, K., Eiswirth, M., Sensse, A.: Toric ideals and graph theory to analyze hopf bifurcations in mass action systems. Journal of Symbolic Computation\u00a040(6), 1361\u20131382 (2005)","journal-title":"Journal of Symbolic Computation"},{"key":"24_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BF02403068","volume":"24","author":"I. Bendixson","year":"1901","unstructured":"Bendixson, I.: Sur les curbes d\u00e9fini\u00e9s par des \u00e9quations diff\u00e9rentielles. Acta Math.\u00a024, 1\u201388 (1901)","journal-title":"Acta Math."},{"key":"24_CR12","series-title":"Applied Mathematical Sciences","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-1140-2","volume-title":"Nonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields","author":"J. Guckenheimer","year":"1983","unstructured":"Guckenheimer, J., Holmes, P.: Nonlinear Oscillations, Dynamical Systems, and Bifurcations of Vector Fields. Applied Mathematical Sciences, vol.\u00a042. Springer, Heidelberg (1983)"},{"key":"24_CR13","first-page":"1703","volume":"204","author":"H. Dulac","year":"1937","unstructured":"Dulac, H.: Recherche des cycles limites. CR Acad. Sci. Paris\u00a0204, 1703\u20131706 (1937)","journal-title":"CR Acad. Sci. Paris"},{"issue":"1&2","key":"24_CR14","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. Journal of Symbolic Computation\u00a05(1&2), 3\u201327 (1988)","journal-title":"Journal of Symbolic Computation"},{"issue":"1-2","key":"24_CR15","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1016\/S0747-7171(88)80004-X","volume":"5","author":"J.H. Davenport","year":"1988","unstructured":"Davenport, J.H., Heintz, J.: Real quantifier elimination is doubly exponential. Journal of Symbolic Computation\u00a05(1-2), 29\u201335 (1988)","journal-title":"Journal of Symbolic Computation"},{"issue":"3","key":"24_CR16","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1006\/jsco.1999.0327","volume":"29","author":"A. Strzebonski","year":"2000","unstructured":"Strzebonski, A.: Solving systems of strict polynomial inequalities. Journal of Symbolic Computation\u00a029(3), 471\u2013480 (2000)","journal-title":"Journal of Symbolic Computation"},{"issue":"9","key":"24_CR17","doi-asserted-by":"publisher","first-page":"1021","DOI":"10.1016\/j.jsc.2006.06.004","volume":"41","author":"A.W. Strzebonski","year":"2006","unstructured":"Strzebonski, A.W.: Cylindrical algebraic decomposition using validated numerics. J. Symb. Comput.\u00a041(9), 1021\u20131038 (2006)","journal-title":"J. Symb. Comput."},{"issue":"1","key":"24_CR18","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1145\/980175.980185","volume":"38","author":"C.W. Brown","year":"2004","unstructured":"Brown, C.W.: QEPCAD B: A system for computing with semi-algebraic sets via cylindrical algebraic decomposition. ACM SIGSAM Bulletin\u00a038(1), 23\u201324 (2004)","journal-title":"ACM SIGSAM Bulletin"},{"issue":"2","key":"24_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 Bulletin\u00a031(2), 2\u20139 (1997)","journal-title":"ACM SIGSAM Bulletin"},{"issue":"2","key":"24_CR20","first-page":"177","volume":"67","author":"T. Sturm","year":"2007","unstructured":"Sturm, T.: Redlog online resources for applied quantifier elimination. Acta Academiae Aboensis, Ser.\u00a0B\u00a067(2), 177\u2013191 (2007)","journal-title":"Acta Academiae Aboensis, Ser.\u00a0B"},{"issue":"2","key":"24_CR21","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. Applicable Algebra in Engineering Communication and Computing\u00a08(2), 85\u2013101 (1997)","journal-title":"Applicable Algebra in Engineering Communication and Computing"},{"issue":"2","key":"24_CR22","doi-asserted-by":"publisher","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. Journal of Symbolic Computation\u00a024(2), 209\u2013231 (1997)","journal-title":"Journal of Symbolic Computation"},{"key":"24_CR23","doi-asserted-by":"publisher","first-page":"376","DOI":"10.1007\/978-3-7091-9459-1_20","volume-title":"Quantifier Elimination and Cylindrical Algebraic Decomposition. Texts and Monographs in Symbolic Computation","author":"V. Weispfenning","year":"1998","unstructured":"Weispfenning, V.: A new approach to quantifier elimination for real algebra. In: Caviness, B., Johnson, J. (eds.) Quantifier Elimination and Cylindrical Algebraic Decomposition. Texts and Monographs in Symbolic Computation, pp. 376\u2013392. Springer, Wien (1998)"},{"key":"24_CR24","unstructured":"Gilch, L.A.: Effiziente Hermitesche Quantorenelimination. Diploma thesis, Universit\u00e4t Passau, D-94030 Passau, Germany (September 2003)"},{"key":"24_CR25","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1007\/978-3-540-30210-0_8","volume-title":"Artificial Intelligence and Symbolic Computation","author":"A. Dolzmann","year":"2004","unstructured":"Dolzmann, A., Gilch, L.A.: Generic Hermitian quantifier elimination. In: Buchberger, B., Campbell, J. (eds.) AISC 2004. LNCS (LNAI), vol.\u00a03249, pp. 80\u201393. Springer, Heidelberg (2004)"},{"key":"24_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/11870814_25","volume-title":"Computer Algebra in Scientific Computing","author":"T. Sturm","year":"2006","unstructured":"Sturm, T.: New domains for applied quantifier elimination. In: Ganzha, V.G., Mayr, E.W., Vorozhtsov, E.V. (eds.) CASC 2006. LNCS, vol.\u00a04194, pp. 295\u2013301. Springer, Heidelberg (2006)"},{"issue":"6","key":"24_CR27","doi-asserted-by":"publisher","first-page":"545","DOI":"10.1007\/s00200-007-0053-x","volume":"18","author":"A. Lasaruk","year":"2007","unstructured":"Lasaruk, A., Sturm, T.: Weak quantifier elimination for the full linear theory of the integers. A uniform generalization of Presburger arithmetic. Applicable Algebra in Engineering, Communication and Computing\u00a018(6), 545\u2013574 (2007)","journal-title":"A uniform generalization of Presburger arithmetic. Applicable Algebra in Engineering, Communication and Computing"},{"key":"24_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/978-3-540-75187-8_22","volume-title":"Computer Algebra in Scientific Computing","author":"A. Lasaruk","year":"2007","unstructured":"Lasaruk, A., Sturm, T.: Weak integer quantifier elimination beyond the linear case. In: Ganzha, V.G., Mayr, E.W., Vorozhtsov, E.V. (eds.) CASC 2007. LNCS, vol.\u00a04770, pp. 275\u2013294. Springer, Heidelberg (2007)"},{"issue":"2","key":"24_CR29","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1006\/jsco.1997.0122","volume":"24","author":"V. Weispfenning","year":"1997","unstructured":"Weispfenning, V.: Simulation and optimization by quantifier elimination. Journal of Symbolic Computation, Special issue on applications of quantifier elimination\u00a024(2), 189\u2013208 (1997)","journal-title":"Journal of Symbolic Computation, Special issue on applications of quantifier elimination"},{"issue":"4","key":"24_CR30","doi-asserted-by":"publisher","first-page":"857","DOI":"10.1216\/rmjm\/1181073047","volume":"20","author":"J.S. Muldowney","year":"1990","unstructured":"Muldowney, J.S.: Compound matrices and ordinary differential equations. Rocky Mt. J. Math.\u00a020(4), 857\u2013872 (1990)","journal-title":"Rocky Mt. J. Math."},{"key":"#cr-split#-24_CR31.1","doi-asserted-by":"crossref","unstructured":"Weber, A., Sturm, T., Abdel-Rahman, E.O.: Algorithmic global criteria for excluding oscillations. Bulletin of Mathematical Biology (2010);","DOI":"10.1007\/s11538-010-9618-0"},{"key":"#cr-split#-24_CR31.2","unstructured":"Accepted for publication. Special issue on ???Algebraic Biology???"},{"key":"24_CR32","doi-asserted-by":"publisher","DOI":"10.1142\/3846","volume-title":"Integrability and nonintegrability of dynamical systems","author":"A. Goriely","year":"2001","unstructured":"Goriely, A.: Integrability and nonintegrability of dynamical systems. World Scientific, Singapore (2001)"},{"key":"24_CR33","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1002\/zamm.19870670108","volume":"67","author":"J. T\u00f3th","year":"1987","unstructured":"T\u00f3th, J.: Bendixson-type theorems with applications. Z. Angew. Math. Mech.\u00a067, 31\u201335 (1987)","journal-title":"Z. Angew. Math. Mech."},{"key":"24_CR34","unstructured":"Hars, V., T\u00f3th, J.: On the inverse problem of reaction kinetics. In: Farkas, M. (ed.) Colloquia Mathematica Societatis Janos Bolyai, Qualitative Theory of Differential Equations, Szeged, Hungary, pp. 363\u2013379 (1981)"},{"issue":"3","key":"24_CR35","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1016\/j.biosystems.2003.11.004","volume":"73","author":"H.C. Tuckwell","year":"2004","unstructured":"Tuckwell, H.C., Wan, F.Y.M.: On the behavior of solutions in viral dynamical models. BioSystems\u00a073(3), 157\u2013161 (2004)","journal-title":"BioSystems"},{"issue":"4","key":"24_CR36","doi-asserted-by":"crossref","first-page":"3275","DOI":"10.1128\/JVI.71.4.3275-3278.1997","volume":"71","author":"S. Bonhoeffer","year":"1997","unstructured":"Bonhoeffer, S., Coffin, J.M., Nowak, M.A.: Human immunodeficiency virus drug therapy and virus load. The Journal of Virology\u00a071(4), 3275 (1997)","journal-title":"The Journal of Virology"},{"issue":"11","key":"24_CR37","doi-asserted-by":"publisher","first-page":"3395","DOI":"10.1090\/S0002-9939-01-06107-X","volume":"129","author":"M. Feckan","year":"2001","unstructured":"Feckan, M.: A generalization of Bendixson\u2019s criterion. Proceedings American Mathematical Society\u00a0129(11), 3395\u20133400 (2001)","journal-title":"Proceedings American Mathematical Society"},{"issue":"4","key":"24_CR38","first-page":"588","volume":"3","author":"Z. She","year":"2009","unstructured":"She, Z., Xia, B., Xiao, R., Zheng, Z.: A semi-algebraic approach for asymptotic stability analysis. Nonlinear Analysis: Hybrid Systems\u00a03(4), 588\u2013596 (2009)","journal-title":"Nonlinear Analysis: Hybrid Systems"},{"key":"24_CR39","first-page":"183","volume-title":"Handbook of Numerical Analysis","author":"P.J. Rabier","year":"2002","unstructured":"Rabier, P.J., Rheinboldt, W.C.: Theoretical and numerical analysis of differential-algebraic equations. In: Ciarlet, P.G., Lions, J.L. (eds.) Handbook of Numerical Analysis, vol.\u00a0VIII, pp. 183\u2013540. North-Holland, Amsterdam (2002)"},{"key":"24_CR40","doi-asserted-by":"publisher","DOI":"10.1142\/6746","volume-title":"Differential-Algebraic Systems","author":"R. Riaza","year":"2008","unstructured":"Riaza, R.: Differential-Algebraic Systems. World Scientific, Hackensack (2008)"},{"key":"24_CR41","volume-title":"Algorithms and Computation in Mathematics","author":"W.M. Seiler","year":"2009","unstructured":"Seiler, W.M.: Involution \u2014 The Formal Theory of Differential Equations and its Applications in Computer Algebra. In: Algorithms and Computation in Mathematics, vol.\u00a024. Springer, Berlin (2009)"}],"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-642-15274-0_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,8]],"date-time":"2021-11-08T09:33:09Z","timestamp":1636363989000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15274-0_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642152733","9783642152740"],"references-count":42,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15274-0_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}