{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T12:45:01Z","timestamp":1742993101762,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":39,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642390524"},{"type":"electronic","value":"9783642390531"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39053-1_2","type":"book-chapter","created":{"date-parts":[[2013,6,3]],"date-time":"2013-06-03T04:28:12Z","timestamp":1370233692000},"page":"12-21","source":"Crossref","is-referenced-by-count":1,"title":["Computability and Computational Complexity of the Evolution of Nonlinear Dynamical Systems"],"prefix":"10.1007","author":[{"given":"Olivier","family":"Bournez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel S.","family":"Gra\u00e7a","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amaury","family":"Pouly","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ning","family":"Zhong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"doi-asserted-by":"crossref","unstructured":"Perko, L.: Differential Equations and Dynamical Systems, 3rd edn. Springer (2001)","key":"2_CR1","DOI":"10.1007\/978-1-4613-0003-8"},{"key":"2_CR2","first-page":"1","volume":"13","author":"H. Poincar\u00e9","year":"1889","unstructured":"Poincar\u00e9, H.: Sur le probl\u00e8me des trois corps et les \u00e9quations de la dynamique. Acta Math.\u00a013, 1\u2013270 (1889)","journal-title":"Acta Math."},{"key":"2_CR3","first-page":"27","volume":"4","author":"J. Hadamard","year":"1898","unstructured":"Hadamard, J.: Les surfaces \u00e0 courbures oppos\u00e9es et leurs lignes g\u00e9od\u00e9siques. J. Math. Pures et Appl.\u00a04, 27\u201373 (1898)","journal-title":"J. Math. Pures et Appl."},{"doi-asserted-by":"crossref","unstructured":"Birkhoff, G.D.: Dynamical Systems. American Mathematical Society Colloquium Publications, vol.\u00a09. American Mathematical Society (1927)","key":"2_CR4","DOI":"10.1090\/coll\/009"},{"key":"2_CR5","first-page":"527","volume":"98","author":"A.N. Kolmogorov","year":"1954","unstructured":"Kolmogorov, A.N.: Preservation of conditionally periodic movements with small change in the hamiltonian function. Doklady Akademii Nauk SSSR\u00a098, 527\u2013530 (1954)","journal-title":"Doklady Akademii Nauk SSSR"},{"issue":"3","key":"2_CR6","doi-asserted-by":"publisher","first-page":"180","DOI":"10.1112\/jlms\/s1-20.3.180","volume":"20","author":"M.L. Cartwright","year":"1945","unstructured":"Cartwright, M.L., Littlewood, J.E.: On non-linear differential equations of the second order, i: The equation y\n                        \u2033\u2009+\u2009k(1\u2009\u2212\u2009y\n                        2)y\n                        \u2032\u2009+\u2009y\u2009=\u2009b\u03bbk cos(\u03bbt\u2009+\u2009a), k large. J. Lond. Math. Soc.\u00a020(3), 180\u2013189 (1945)","journal-title":"J. Lond. Math. Soc."},{"key":"2_CR7","doi-asserted-by":"publisher","first-page":"747","DOI":"10.1090\/S0002-9904-1967-11798-1","volume":"73","author":"S. Smale","year":"1967","unstructured":"Smale, S.: Differentiable dynamical systems. Bull. Amer. Math. Soc.\u00a073, 747\u2013817 (1967)","journal-title":"Bull. Amer. Math. Soc."},{"key":"2_CR8","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1175\/1520-0469(1963)020<0130:DNF>2.0.CO;2","volume":"20","author":"E.N. Lorenz","year":"1963","unstructured":"Lorenz, E.N.: Deterministic non-periodic flow. J. Atmos. Sci.\u00a020, 130\u2013141 (1963)","journal-title":"J. Atmos. Sci."},{"key":"2_CR9","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/BF03025291","volume":"20","author":"S. Smale","year":"1998","unstructured":"Smale, S.: Mathematical problems for the next century. Math. Intelligencer\u00a020, 7\u201315 (1998)","journal-title":"Math. Intelligencer"},{"doi-asserted-by":"crossref","unstructured":"Tucker, W.: The Lorenz attractor exists. In: Acad, C.R. (ed.) Sci. Paris. Series I - Mathematics, vol.\u00a0328, pp. 1197\u20131202 (1999)","key":"2_CR10","DOI":"10.1016\/S0764-4442(99)80439-X"},{"unstructured":"Hirsch, M.W., Smale, S.: Differential Equations, Dynamical Systems, and Linear Algebra. Academic Press (1974)","key":"2_CR11"},{"doi-asserted-by":"crossref","unstructured":"Sontag, E.D.: Mathematical Control Theory, 2nd edn. Springer (1998)","key":"2_CR12","DOI":"10.1007\/978-1-4612-0577-7"},{"doi-asserted-by":"crossref","unstructured":"Hubbard, J.H., West, B.H.: Differential Equations: A Dynamical Systems Approach \u2014 Higher-Dimensional Systems. Springer (1995)","key":"2_CR13","DOI":"10.1007\/978-1-4612-4192-8"},{"unstructured":"Hirsch, M.W., Smale, S., Devaney, R.: Differential Equations, Dynamical Systems, and an Introduction to Chaos. Academic Press (2004)","key":"2_CR14"},{"issue":"1","key":"2_CR15","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1016\/0304-3975(94)00147-B","volume":"138","author":"M.S. Branicky","year":"1995","unstructured":"Branicky, M.S.: Universal computation and other capabilities of hybrid and continuous dynamical systems. Theoret. Comput. Sci.\u00a0138(1), 67\u2013100 (1995)","journal-title":"Theoret. Comput. Sci."},{"issue":"3","key":"2_CR16","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1006\/jcss.1998.1601","volume":"57","author":"E. Asarin","year":"1998","unstructured":"Asarin, E., Maler, O.: Achilles and the tortoise climbing up the arithmetical hierarchy. J. Comput. System Sci.\u00a057(3), 389\u2013398 (1998)","journal-title":"J. Comput. System Sci."},{"issue":"1","key":"2_CR17","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/S0304-3975(98)00096-6","volume":"210","author":"O. Bournez","year":"1999","unstructured":"Bournez, O.: Achilles and the Tortoise climbing up the hyper-arithmetical hierarchy. Theoret. Comput. Sci.\u00a0210(1), 21\u201371 (1999)","journal-title":"Theoret. Comput. Sci."},{"issue":"1","key":"2_CR18","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/S0304-3975(98)00117-0","volume":"210","author":"P. Koiran","year":"1999","unstructured":"Koiran, P., Moore, C.: Closed-form analytic maps in one and two dimensions can simulate universal Turing machines. Theoret. Comput. Sci.\u00a0210(1), 217\u2013223 (1999)","journal-title":"Theoret. Comput. Sci."},{"unstructured":"Odifreddi, P.: Classical Recursion Theory, vol.\u00a02. Elsevier (1999)","key":"2_CR19"},{"issue":"6","key":"2_CR20","doi-asserted-by":"publisher","first-page":"3039","DOI":"10.1016\/j.amc.2012.09.031","volume":"219","author":"D. Gra\u00e7a","year":"2012","unstructured":"Gra\u00e7a, D., Zhong, N., Buescu, J.: Computability, noncomputability, and hyperbolic systems. Appl. Math. Comput.\u00a0219(6), 3039\u20133054 (2012)","journal-title":"Appl. Math. Comput."},{"doi-asserted-by":"crossref","unstructured":"Ko, K.I.: Computational Complexity of Real Functions. Birkh\u00e4user (1991)","key":"2_CR21","DOI":"10.1007\/978-1-4684-6802-1"},{"issue":"2","key":"2_CR22","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1142\/S0129054196000129","volume":"7","author":"K. Ruohonen","year":"1996","unstructured":"Ruohonen, K.: An effective Cauchy-Peano existence theorem for unique solutions. Internat. J. Found. Comput. Sci.\u00a07(2), 151\u2013160 (1996)","journal-title":"Internat. J. Found. Comput. Sci."},{"issue":"6","key":"2_CR23","doi-asserted-by":"publisher","first-page":"2913","DOI":"10.1090\/S0002-9947-09-04929-0","volume":"361","author":"D. Gra\u00e7a","year":"2009","unstructured":"Gra\u00e7a, D., Zhong, N., Buescu, J.: Computability, noncomputability and undecidability of maximal intervals of IVPs. Trans. Amer. Math. Soc.\u00a0361(6), 2913\u20132927 (2009)","journal-title":"Trans. Amer. Math. Soc."},{"issue":"6","key":"2_CR24","first-page":"1301","volume":"15","author":"R. Rettinger","year":"2009","unstructured":"Rettinger, R., Weihrauch, K., Zhong, N.: Topological complexity of blowup problems. Journal of Universal Computer Science\u00a015(6), 1301\u20131316 (2009)","journal-title":"Journal of Universal Computer Science"},{"issue":"6","key":"2_CR25","first-page":"1162","volume":"15","author":"P. Collins","year":"2009","unstructured":"Collins, P., Gra\u00e7a, D.S.: Effective computability of solutions of differential inclusions \u2014 the ten thousand monkeys approach. Journal of Universal Computer Science\u00a015(6), 1162\u20131185 (2009)","journal-title":"Journal of Universal Computer Science"},{"unstructured":"Hartman, P.: Ordinary Differential Equations, 2nd edn. Birkh\u00e4user (1982)","key":"2_CR26"},{"doi-asserted-by":"crossref","unstructured":"Weihrauch, K.: Computable Analysis: an Introduction. Springer (2000)","key":"2_CR27","DOI":"10.1007\/978-3-642-56999-9"},{"issue":"4","key":"2_CR28","doi-asserted-by":"publisher","first-page":"1295","DOI":"10.1007\/s11047-010-9230-0","volume":"10","author":"D.S. Gra\u00e7a","year":"2011","unstructured":"Gra\u00e7a, D.S., Zhong, N.: Computability in planar dynamical systems. Natural Computing\u00a010(4), 1295\u20131312 (2011)","journal-title":"Natural Computing"},{"key":"2_CR29","doi-asserted-by":"publisher","first-page":"2773","DOI":"10.1090\/S0002-9939-09-09851-7","volume":"137","author":"N. Zhong","year":"2009","unstructured":"Zhong, N.: Computational unsolvability of domain of attractions of nonlinear systems. Proc. Amer. Math. Soc.\u00a0137, 2773\u20132783 (2009)","journal-title":"Proc. Amer. Math. Soc."},{"issue":"4-5","key":"2_CR30","doi-asserted-by":"crossref","first-page":"473","DOI":"10.1002\/malq.200310113","volume":"50","author":"D.S. Gra\u00e7a","year":"2004","unstructured":"Gra\u00e7a, D.S.: Some recent developments on Shannon\u2019s General Purpose Analog Computer. Math. Log. Quart.\u00a050(4-5), 473\u2013485 (2004)","journal-title":"Math. Log. Quart."},{"issue":"3","key":"2_CR31","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1016\/j.aam.2007.02.003","volume":"40","author":"D.S. Gra\u00e7a","year":"2008","unstructured":"Gra\u00e7a, D.S., Campagnolo, M.L., Buescu, J.: Computability with polynomial differential equations. Adv. Appl. Math.\u00a040(3), 330\u2013349 (2008)","journal-title":"Adv. Appl. Math."},{"doi-asserted-by":"crossref","unstructured":"Bournez, O., Gra\u00e7a, D.S., Pouly, A.: On the complexity of solving polynomial initial value problems. In: 37th International Symposium on Symbolic and Algebraic Computation (ISSAC 2012) (2012)","key":"2_CR32","DOI":"10.1145\/2442829.2442849"},{"issue":"1","key":"2_CR33","doi-asserted-by":"publisher","first-page":"154","DOI":"10.1016\/j.amc.2005.09.077","volume":"178","author":"W.D. Smith","year":"2006","unstructured":"Smith, W.D.: Church\u2019s thesis meets the n-body problem. Appl. Math. Comput.\u00a0178(1), 154\u2013183 (2006)","journal-title":"Appl. Math. Comput."},{"unstructured":"M\u00fcller, N., Moiske, B.: Solving initial value problems in polynomial time. Proc. 22 JAIIO - PANEL 1993, Part 2, 283\u2013293 (1993)","key":"2_CR34"},{"key":"2_CR35","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1090\/S0025-5718-1980-0551295-0","volume":"34","author":"A.G. Werschulz","year":"1980","unstructured":"Werschulz, A.G.: Computational complexity of one-step methods for systems of differential equations. Math. Comput.\u00a034, 155\u2013174 (1980)","journal-title":"Math. Comput."},{"key":"2_CR36","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1023\/A:1021108323034","volume":"31","author":"R.M. Corless","year":"2002","unstructured":"Corless, R.M.: A new view of the computational complexity of IVP for ODE. Numer. Algorithms\u00a031, 115\u2013124 (2002)","journal-title":"Numer. Algorithms"},{"key":"2_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"170","DOI":"10.1007\/978-3-642-22993-0_18","volume-title":"Mathematical Foundations of Computer Science 2011","author":"O. Bournez","year":"2011","unstructured":"Bournez, O., Gra\u00e7a, D.S., Pouly, A.: Solving analytic differential equations in polynomial time over unbounded domains. In: Murlak, F., Sankowski, P. (eds.) MFCS 2011. LNCS, vol.\u00a06907, pp. 170\u2013181. Springer, Heidelberg (2011)"},{"key":"2_CR38","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"435","DOI":"10.1007\/3-540-18088-5_37","volume-title":"Automata, Languages and Programming","author":"N.T. M\u00fcller","year":"1987","unstructured":"M\u00fcller, N.T.: Uniform computational complexity of taylor series. In: Ottmann, T. (ed.) ICALP 1987. LNCS, vol.\u00a0267, pp. 435\u2013444. Springer, Heidelberg (1987)"},{"key":"2_CR39","doi-asserted-by":"publisher","first-page":"106","DOI":"10.4204\/EPTCS.24.15","volume":"24","author":"N.T. M\u00fcller","year":"2010","unstructured":"M\u00fcller, N.T., Korovina, M.V.: Making big steps in trajectories. Electr. Proc. Theoret. Comput. Sci.\u00a024, 106\u2013119 (2010)","journal-title":"Electr. Proc. Theoret. Comput. Sci."}],"container-title":["Lecture Notes in Computer Science","The Nature of Computation. Logic, Algorithms, Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39053-1_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,23]],"date-time":"2023-01-23T17:49:16Z","timestamp":1674496156000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-39053-1_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642390524","9783642390531"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39053-1_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}