{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T14:35:38Z","timestamp":1775054138794,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":39,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642235672","type":"print"},{"value":"9783642235689","type":"electronic"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-23568-9_9","type":"book-chapter","created":{"date-parts":[[2011,8,30]],"date-time":"2011-08-30T20:37:54Z","timestamp":1314736674000},"page":"101-125","source":"Crossref","is-referenced-by-count":10,"title":["Semi-algebraic Description of the Equilibria of Dynamical Systems"],"prefix":"10.1007","author":[{"given":"Changbo","family":"Chen","sequence":"first","affiliation":[]},{"given":"Marc Moreno","family":"Maza","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"9_CR1","volume-title":"Ordinary Differential Equations","author":"V.I. Arnold","year":"1992","unstructured":"Arnold, V.I.: Ordinary Differential Equations. Springer, Heidelberg (1992)"},{"key":"9_CR2","doi-asserted-by":"crossref","unstructured":"Chen, C., Davenport, J.H., May, J., Moreno Maza, M., Xia, B., Xiao, R.: Triangular decomposition of semi-algebraic systems. In: Watt, S.M. (ed.) Proceedings ISSAC 2010, pp. 187\u2013194 (2010)","DOI":"10.1145\/1837934.1837972"},{"key":"9_CR3","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-5929-9","volume-title":"Applications of Centre Manifold Theory","author":"J. Carr","year":"1981","unstructured":"Carr, J.: Applications of Centre Manifold Theory. Springer, Heidelberg (1981)"},{"key":"9_CR4","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-5929-9","volume-title":"Applications of Centre Manifold Theory","author":"J. Carr","year":"1981","unstructured":"Carr, J.: Applications of Centre Manifold Theory. Springer, Heidelberg (1981)"},{"key":"9_CR5","unstructured":"Chen, C.: Algebraic analysis of stability for biological systems and the implemetation of a software pakage. Master\u2019s thesis, Peking University (2006) (in Chinese)"},{"key":"9_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-3-540-75187-8_7","volume-title":"Computer Algebra in Scientific Computing","author":"C. Chen","year":"2007","unstructured":"Chen, C., Golubitsky, O., Lemaire, F., Maza, M.M., Pan, W.: Comprehensive Triangular Decomposition. In: Ganzha, V.G., Mayr, E.W., Vorozhtsov, E.V. (eds.) CASC 2007. LNCS, vol.\u00a04770, pp. 73\u2013101. Springer, Heidelberg (2007)"},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Chen, C., Moreno Maza, M.: Algorithms for computing triangular decompositions of polynomial systems. In: CoRR, abs\/1104.0689 (2011)","DOI":"10.1145\/1993886.1993904"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Chen, C., Moreno Maza, M., Xia, B., Yang, L.: Computing cylindrical algebraic decomposition via triangular decomposition. In: ISSAC 2009, pp. 95\u2013102 (2009)","DOI":"10.1145\/1576702.1576718"},{"key":"9_CR9","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1145\/309831.309900","volume-title":"Proc. 1999 International Symposium on Symbolic and Algebraic Computation (ISSAC)","author":"G. Chen","year":"1999","unstructured":"Chen, G., Dora, J.D.: Rational normal form for dynamical systems by Carleman linearization. In: Dooley, S. (ed.) Proc. 1999 International Symposium on Symbolic and Algebraic Computation (ISSAC), pp. 165\u2013172. ACM Press, New York (1999)"},{"issue":"3","key":"9_CR10","doi-asserted-by":"publisher","first-page":"393","DOI":"10.1006\/jsco.1999.0305","volume":"29","author":"G. Chen","year":"2000","unstructured":"Chen, G., Dora, J.D.: An algorithm for computing a new normal form for dynamical systems. Journal of Symbolic Computation\u00a029(3), 393\u2013418 (2000)","journal-title":"Journal of Symbolic Computation"},{"key":"9_CR11","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1145\/120694.120737","volume-title":"Proc. 1991 International Symposium on Symbolic and Algebraic Computation (ISSAC)","author":"G. Chen","year":"1991","unstructured":"Chen, G., Dora, J.D., Stolovitch, L.: Nilpotent normal form via Carleman linearization (for systems of ordinary differential equations). In: Watt, S. (ed.) Proc. 1991 International Symposium on Symbolic and Algebraic Computation (ISSAC), pp. 281\u2013288. ACM Press, New York (1991)"},{"issue":"795","key":"9_CR12","doi-asserted-by":"publisher","first-page":"642","DOI":"10.1098\/rspa.1929.0143","volume":"124","author":"R.A. Frazer","year":"1929","unstructured":"Frazer, R.A., Duncan, W.J.: On the criteria for the stability of small motions. Proceedings of the Royal Society of London. Series A, Containing Papers of a Mathematical and Physical Character\u00a0124(795), 642\u2013654 (1929)","journal-title":"Proceedings of the Royal Society of London. Series A, Containing Papers of a Mathematical and Physical Character"},{"key":"9_CR13","first-page":"218","volume-title":"Proc. of ISAAC 1988","author":"E. Freire","year":"1989","unstructured":"Freire, E., Gamero, E., Ponce, E., Garc\u00eda Franquelo, L.: An algorithm for symbolic computation of center manifolds. In: Proc. of ISAAC 1988, pp. 218\u2013230. Springer, London (1989)"},{"key":"9_CR14","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1016\/0022-247X(68)90116-9","volume":"23","author":"A.T. Fuller","year":"1968","unstructured":"Fuller, A.T.: Conditions for a matrix to have only characteristic roots with negative real parts. Journal of Mathematical Analysis and Applications\u00a023, 71\u201398 (1968)","journal-title":"Journal of Mathematical Analysis and Applications"},{"key":"9_CR15","volume-title":"The Theory of Matrices","author":"F.R. Gantmacher","year":"1959","unstructured":"Gantmacher, F.R.: The Theory of Matrices. Chelsea Publishing Company, New York (1959)"},{"issue":"6","key":"9_CR16","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., Eiswirtha, 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"},{"issue":"4-5","key":"9_CR17","doi-asserted-by":"publisher","first-page":"1180","DOI":"10.1016\/j.jsc.2004.04.007","volume":"40","author":"K. Gatermann","year":"2005","unstructured":"Gatermann, K., Hosten, S.: Computational algebra for bifurcation theory. Journal of Symbolic Computation\u00a040(4-5), 1180\u20131207 (2005)","journal-title":"Journal of Symbolic Computation"},{"key":"9_CR18","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1145\/74540.74558","volume-title":"ISSAC 1989: Proceedings of the ACM-SIGSAM 1989 International Symposium on Symbolic and Algebraic Computation","author":"L. Gonzalez","year":"1989","unstructured":"Gonzalez, L., Lombardi, H., Recio, T., Roy, M.-F.: Sturm-habicht sequence. In: ISSAC 1989: Proceedings of the ACM-SIGSAM 1989 International Symposium on Symbolic and Algebraic Computation, pp. 136\u2013146. ACM, New York (1989)"},{"issue":"1","key":"9_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1137\/S0036142993253461","volume":"34","author":"M. John Guckenheimer","year":"1997","unstructured":"Guckenheimer, J., Myers, M., Sturmfels, B.: Computing Hopf bifurcations I. SIAM J. Num. Anal.\u00a034(1), 1\u201321 (1997)","journal-title":"SIAM J. Num. Anal."},{"issue":"1","key":"9_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1137\/S0036142993253461","volume":"34","author":"J. Guckenheimer","year":"1997","unstructured":"Guckenheimer, J., Myers, M., Sturmfels, B.: Computing hopf bifurcations i. SIAM J. Numer. Anal.\u00a034(1), 1\u201321 (1997)","journal-title":"SIAM J. Numer. Anal."},{"key":"9_CR21","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4426-4","volume-title":"Dynamics and Bifurcations","author":"J. Hale","year":"1991","unstructured":"Hale, J., Ko\u00e7ak, H.: Dynamics and Bifurcations. Springer, Heidelberg (1991)"},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"Hong, H., Liska, R., Steinberg, S.: Testing stability by quantifier elimination. Journal of Symbolic Computation\u00a024(2), 161\u2013187 (1997)","DOI":"10.1006\/jsco.1997.0121"},{"issue":"2","key":"9_CR23","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1006\/jsco.1999.0353","volume":"30","author":"M.E. Kahoui","year":"2000","unstructured":"El Kahoui, M., Weber, A.: Deciding hopf bifurcations by quantifier elimination in a software-component architecture. J. Symb. Comput.\u00a030(2), 161\u2013179 (2000)","journal-title":"J. Symb. Comput."},{"key":"9_CR24","unstructured":"El Kahoui, M., Weber, A.: Symbolic equilibrium point analysis in parameterized polynomial vector fields. In: Ganzha, V., Mayr, E., Vorozhtsov, E. (eds.) Computer Algebra in Scientific Computing (CASC 2002), pp. 71\u201383 (2002)"},{"key":"9_CR25","volume-title":"Elements of Applied Bifurcation Theory","author":"Y.A. Kuznetsov","year":"1998","unstructured":"Kuznetsov, Y.A.: Elements of Applied Bifurcation Theory. Springer, Heidelberg (1998)"},{"key":"9_CR26","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1042\/bj3180035","volume":"318","author":"M. Laurent","year":"1996","unstructured":"Laurent, M.: Prion diseases and the \u201cprotein only\u201d hypothesis: a theoretical dynamic study. Biochem. J.\u00a0318, 35\u201339 (1996)","journal-title":"Biochem. J."},{"key":"9_CR27","unstructured":"Liu, X., Corless, R.M., Geddes, K.O.: Computation of center manifolds. Technical Report TR-00-15, Ontario Research Centre for Computer Algebra, 12 pages (2000), http:\/\/www.orcca.on.ca\/TechReports"},{"key":"9_CR28","volume-title":"Ordinary Differential Equations","author":"R.K. Miller","year":"1982","unstructured":"Miller, R.K., Michel, A.N.: Ordinary Differential Equations. Academic Press, London (1982)"},{"key":"9_CR29","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-4344-1","volume-title":"Algorithmic Algebra","author":"B. Mishra","year":"1993","unstructured":"Mishra, B.: Algorithmic Algebra. Springer, New York (1993)"},{"key":"9_CR30","series-title":"Wiley Series in Nonlinear Sciences","volume-title":"Method of Normal Forms","author":"A.H. Nayfeh","year":"1993","unstructured":"Nayfeh, A.H.: Method of Normal Forms. Wiley Series in Nonlinear Sciences. John Wiley & Sons, New York (1993)"},{"key":"9_CR31","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.M.: Algebraic approaches to stability analysis of biological systems. Mathematics in Computer Science\u00a01, 507\u2013539 (2008)","journal-title":"Mathematics in Computer Science"},{"key":"9_CR32","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4684-0392-3","volume-title":"Differential Equations and Dynamical Systems","author":"L. Perko","year":"1991","unstructured":"Perko, L.: Differential Equations and Dynamical Systems. Springer-Verlag New York, Inc., New York (1991)"},{"key":"9_CR33","volume-title":"Singularities and Groups in Bifurcation Theory","author":"D.G. Schaeffer","year":"1984","unstructured":"Schaeffer, D.G., Golubitsky, M.: Singularities and Groups in Bifurcation Theory, vol.\u00a01. Springer, Heidelberg (1984)"},{"key":"9_CR34","first-page":"225","volume-title":"Proc. of ISSAC 1993","author":"L. Vallier","year":"1993","unstructured":"Vallier, L.: An algorithm for the computation of normal forms and invariant manifolds. In: Proc. of ISSAC 1993, pp. 225\u2013233. ACM Press, New York (1993)"},{"key":"9_CR35","doi-asserted-by":"publisher","DOI":"10.1007\/3-7643-7429-2","volume-title":"Differential Equations with Symbolic Computation","author":"D.M. Wang","year":"2005","unstructured":"Wang, D.M., Zheng, Z.M.: Differential Equations with Symbolic Computation. Birkh\u00e4user Verlag, Basel (2005)"},{"key":"9_CR36","doi-asserted-by":"publisher","first-page":"354","DOI":"10.1145\/1073884.1073933","volume-title":"Proc. 2005 International Symposium on Symbolic and Algebraic Computation (ISSAC)","author":"D. Wang","year":"2005","unstructured":"Wang, D., Xia, B.: Stability analysis of biological systems with real solution classfication. In: Kauers, M. (ed.) Proc. 2005 International Symposium on Symbolic and Algebraic Computation (ISSAC), pp. 354\u2013361. ACM Press, New York (2005)"},{"issue":"1-2","key":"9_CR37","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1006\/jsco.1998.0274","volume":"28","author":"L. Yang","year":"1999","unstructured":"Yang, L.: Recent advances on determining the number of real roots of parametric polynomials. J. Symb. Comput.\u00a028(1-2), 225\u2013242 (1999)","journal-title":"J. Symb. Comput."},{"issue":"6","key":"9_CR38","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/BF02713938","volume":"44","author":"L. Yang","year":"2001","unstructured":"Yang, L., Hou, X., Xia, B.: A complete algorithm for automated discovering of a class of inequality-type theorems. Science in China, Series F\u00a044(6), 33\u201349 (2001)","journal-title":"Science in China, Series F"},{"issue":"1","key":"9_CR39","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1142\/S0218127403006418","volume":"13","author":"P. Yu","year":"2003","unstructured":"Yu, P., Yuan, Y.: An efficient method for computing the simplest normal forms of vector fields. Int. J. Bifurcations & Chaos\u00a013(1), 19\u201346 (2003)","journal-title":"Int. J. Bifurcations & Chaos"}],"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-23568-9_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,14]],"date-time":"2019-06-14T12:29:56Z","timestamp":1560515396000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-23568-9_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642235672","9783642235689"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-23568-9_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}