{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T02:47:22Z","timestamp":1767926842546,"version":"3.49.0"},"publisher-location":"Cham","reference-count":14,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319415789","type":"print"},{"value":"9783319415796","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-41579-6_6","type":"book-chapter","created":{"date-parts":[[2016,6,26]],"date-time":"2016-06-26T22:44:48Z","timestamp":1466981088000},"page":"61-74","source":"Crossref","is-referenced-by-count":4,"title":["Towards Using Exact Real Arithmetic for Initial Value Problems"],"prefix":"10.1007","author":[{"given":"Franz","family":"Brau\u00dfe","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Margarita","family":"Korovina","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Norbert Th.","family":"M\u00fcller","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,6,28]]},"reference":[{"issue":"1","key":"6_CR1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2168\/LMCS-10(1:6)2014","volume":"10","author":"A Kawamura","year":"2014","unstructured":"Kawamura, A., Ota, H., R\u00f6snick, C., Ziegler, M.: Computational complexity of smooth differential equations. Log. Meth. Comput. Sci. 10(1), 1\u201315 (2014)","journal-title":"Log. Meth. Comput. Sci."},{"issue":"4","key":"6_CR2","first-page":"379","volume":"4","author":"K Makino","year":"2003","unstructured":"Makino, K., Berz, M.: Taylor models and other validated functional inclusion methods. Int. J. Pure Appl. Math. 4(4), 379\u2013456 (2003)","journal-title":"Int. J. Pure Appl. Math."},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"M\u00fcller, N., Korovina, M.: Making Big Steps in Trajectories. In: EPTCS (2010)","DOI":"10.4204\/EPTCS.24.15"},{"key":"6_CR4","unstructured":"M\u00fcller, N.T.: Polynomial time computation of Taylor series. In: Proceedings of the 22th JAIIO - Panel 1993, Part 2, pp. 259\u2013281, Buenos Aires (1993)"},{"key":"6_CR5","unstructured":"M\u00fcller, N.T.: Constructive aspects of analytic functions. In: Ko, K.I., Weihrauch, K. (eds.) Computability and Complexity in Analysis. Informatik Berichte, vol. 190, pp. 105\u2013114. FernUniversit\u00e4t Hagen (September 1995), CCA Workshop, Hagen, 19\u201320 August 1995"},{"key":"6_CR6","unstructured":"M\u00fcller, N.T.: Towards a real real RAM: a prototype using C++. In: Ko, K.I., Mller, N., Weihrauch, K. (eds.) Computability and Complexity in Analysis, pp. 59\u201366. Universit\u00e4t Trier, Second CCA Workshop, Trier, 22\u201323 August 1996"},{"key":"6_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"222","DOI":"10.1007\/3-540-45335-0_14","volume-title":"Computability and Complexity in Analysis","author":"NT M\u00fcller","year":"2001","unstructured":"M\u00fcller, N.T.: The iRRAM: exact arithmetic in C++. In: Blank, J., Brattka, V., Hertling, P. (eds.) CCA 2000. LNCS, vol. 2064, p. 222. Springer, Heidelberg (2001)"},{"key":"6_CR8","unstructured":"Nedialkov, N.S.: VNODE-LP \u2014 a validated solver for initial value problems inordinary differential equations. Technical report, CAS-06-06-NN, Department of Computingand Software, McMaster University, Hamilton, Ontario, L8S 4K1 (2006)"},{"issue":"1","key":"6_CR9","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1016\/S0096-3003(98)10083-8","volume":"105","author":"NS Nedialkov","year":"1999","unstructured":"Nedialkov, N.S., Jackson, K.R., Corliss, G.F.: Validated solutions of initial value problems for ordinary differential equations. Appl. Math. Comput. 105(1), 21\u201368 (1999)","journal-title":"Appl. Math. Comput."},{"issue":"1","key":"6_CR10","first-page":"97","volume":"4","author":"GE Parker","year":"1996","unstructured":"Parker, G.E., Sochacki, J.S.: Implementing the Picard iteration. neural, parallel. Sci. Comput. 4(1), 97\u2013112 (1996)","journal-title":"Sci. Comput."},{"key":"6_CR11","unstructured":"Pouly, A., Gra\u00e7a, D.S.: Computational complexity of solving elementary differential equations over unbounded domains. CoRR abs\/1409.0451 (2014)"},{"key":"6_CR12","series-title":"Graduate Studies in Mathematics","doi-asserted-by":"crossref","DOI":"10.1090\/gsm\/140","volume-title":"Ordinary Differential Equations and Dynamical Systems","author":"G Teschl","year":"2012","unstructured":"Teschl, G.: Ordinary Differential Equations and Dynamical Systems. Graduate Studies in Mathematics. American Mathematical Society, Providence (2012)"},{"key":"6_CR13","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-Verlag New York, Inc., Secaucus (2000)"},{"key":"6_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1007\/978-3-642-15582-6_8","volume-title":"Mathematical Software \u2013 ICMS 2010","author":"P Zimmermann","year":"2010","unstructured":"Zimmermann, P.: Reliable computing with GNU MPFR. In: Fukuda, K., Hoeven, J., Joswig, M., Takayama, N. (eds.) ICMS 2010. LNCS, vol. 6327, pp. 42\u201345. Springer, Heidelberg (2010)"}],"container-title":["Lecture Notes in Computer Science","Perspectives of System Informatics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-41579-6_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,22]],"date-time":"2020-09-22T19:42:14Z","timestamp":1600803734000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-41579-6_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319415789","9783319415796"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-41579-6_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]}}}