{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T21:36:11Z","timestamp":1760132171992},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642229923"},{"type":"electronic","value":"9783642229930"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-22993-0_18","type":"book-chapter","created":{"date-parts":[[2011,8,9]],"date-time":"2011-08-09T12:44:46Z","timestamp":1312893886000},"page":"170-181","source":"Crossref","is-referenced-by-count":12,"title":["Solving Analytic Differential Equations in Polynomial Time over Unbounded Domains"],"prefix":"10.1007","author":[{"given":"Olivier","family":"Bournez","sequence":"first","affiliation":[]},{"given":"Daniel S.","family":"Gra\u00e7a","sequence":"additional","affiliation":[]},{"given":"Amaury","family":"Pouly","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"18_CR1","volume-title":"Computational Complexity of Real Functions","author":"K.I. Ko","year":"1991","unstructured":"Ko, K.I.: Computational Complexity of Real Functions. Birkh\u00e4user, Basel (1991)"},{"key":"18_CR2","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1002\/sapm1941201337","volume":"20","author":"C.E. Shannon","year":"1941","unstructured":"Shannon, C.E.: Mathematical theory of the differential analyzer. J. Math. Phys.\u00a020, 337\u2013354 (1941)","journal-title":"J. Math. Phys."},{"key":"18_CR3","first-page":"447","volume":"212","author":"V. Bush","year":"1931","unstructured":"Bush, V.: The differential analyzer. A new machine for solving differential equations. J. Franklin Inst.\u00a0212, 447\u2013488 (1931)","journal-title":"A new machine for solving differential equations. J. Franklin Inst."},{"issue":"5","key":"18_CR4","doi-asserted-by":"publisher","first-page":"644","DOI":"10.1016\/S0885-064X(03)00034-7","volume":"19","author":"D.S. Gra\u00e7a","year":"2003","unstructured":"Gra\u00e7a, D.S., Costa, J.F.: Analog computers and recursive functions over the reals. J. Complexity\u00a019(5), 644\u2013664 (2003)","journal-title":"J. Complexity"},{"issue":"6","key":"18_CR5","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":"18_CR6","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"},{"key":"18_CR7","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/0003-4843(79)90021-4","volume":"17","author":"M.B. Pour-El","year":"1979","unstructured":"Pour-El, M.B., Richards, J.I.: A computable ordinary differential equation which possesses no computable solution. Ann. Math. Logic\u00a017, 61\u201390 (1979)","journal-title":"Ann. Math. Logic"},{"key":"18_CR8","unstructured":"Demailly, J.-P.: Analyse Num\u00e9rique et Equations Diff\u00e9rentielles. Presses Universitaires de Grenoble (1991)"},{"issue":"1","key":"18_CR9","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. Applied Mathematics and Computation\u00a0178(1), 154\u2013183 (2006)","journal-title":"Applied Mathematics and Computation"},{"key":"18_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-0003-8","volume-title":"Differential Equations and Dynamical Systems","author":"L. Perko","year":"2001","unstructured":"Perko, L.: Differential Equations and Dynamical Systems, 3rd edn. Springer, Heidelberg (2001)","edition":"3"},{"issue":"2","key":"18_CR11","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."},{"key":"18_CR12","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1109\/CCC.2009.34","volume-title":"2009 24th Annual IEEE Conference on Computational Complexity","author":"A. Kawamura","year":"2009","unstructured":"Kawamura, A.: Lipschitz continuous ordinary differential equations are polynomial-space complete. In: 2009 24th Annual IEEE Conference on Computational Complexity, pp. 149\u2013160. IEEE, Los Alamitos (2009)"},{"key":"18_CR13","unstructured":"M\u00fcller, N., Moiske, B.: Solving initial value problems in polynomial time. In: Proc. 22 JAIIO - PANEL 1993, Part 2, pp. 283\u2013293 (1993)"},{"key":"18_CR14","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."},{"key":"18_CR15","volume-title":"Ordinary Differential Equations","author":"G. Birkhoff","year":"1989","unstructured":"Birkhoff, G., Rota, G.C.: Ordinary Differential Equations, 4th edn. John Wiley, Chichester (1989)","edition":"4"},{"key":"18_CR16","volume-title":"Theory of Ordinary Differential Equations","author":"E.A. Coddington","year":"1955","unstructured":"Coddington, E.A., Levinson, N.: Theory of Ordinary Differential Equations. McGraw-Hill, New York (1955)"},{"key":"18_CR17","doi-asserted-by":"crossref","unstructured":"Turing, A.M.: On computable numbers, with an application to the Entscheidungsproblem. Proc. London Math. Soc. (Ser.2\u201342), 230\u2013265 (1936)","DOI":"10.1112\/plms\/s2-42.1.230"},{"key":"18_CR18","doi-asserted-by":"crossref","first-page":"61","DOI":"10.4064\/fm-44-1-61-71","volume":"44","author":"A. Grzegorczyk","year":"1957","unstructured":"Grzegorczyk, A.: On the definitions of computable real continuous functions. Fund. Math.\u00a044, 61\u201371 (1957)","journal-title":"Fund. Math."},{"key":"18_CR19","first-page":"151","volume":"241","author":"D. Lacombe","year":"1955","unstructured":"Lacombe, D.: Extension de la notion de fonction r\u00e9cursive aux fonctions d\u2019une ou plusieurs variables r\u00e9elles III. C. R. Acad. Sci. Paris\u00a0241, 151\u2013153 (1955)","journal-title":"C. R. Acad. Sci. Paris"},{"key":"18_CR20","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-56999-9","volume-title":"Computable Analysis: an Introduction","author":"K. Weihrauch","year":"2000","unstructured":"Weihrauch, K.: Computable Analysis: an Introduction. Springer, Heidelberg (2000)"},{"key":"18_CR21","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-21717-7","volume-title":"Computability in Analysis and Physics","author":"M.B. Pour-El","year":"1989","unstructured":"Pour-El, M.B., Richards, J.I.: Computability in Analysis and Physics. Springer, Heidelberg (1989)"},{"key":"18_CR22","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1016\/S0304-3975(82)80003-0","volume":"20","author":"K.I. Ko","year":"1982","unstructured":"Ko, K.I., Friedman, H.: Computational complexity of real functions. Theoret. Comput. Sci.\u00a020, 323\u2013352 (1982)","journal-title":"Theoret. Comput. Sci."},{"key":"18_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","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)"},{"issue":"3","key":"18_CR24","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."}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 2011"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-22993-0_18.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T03:10:12Z","timestamp":1606187412000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-22993-0_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642229923","9783642229930"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-22993-0_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}