{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:29:09Z","timestamp":1761596949887},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540290674"},{"type":"electronic","value":"9783540334989"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11558958_13","type":"book-chapter","created":{"date-parts":[[2006,2,23]],"date-time":"2006-02-23T15:02:16Z","timestamp":1140706936000},"page":"112-121","source":"Crossref","is-referenced-by-count":2,"title":["A Domain Theoretic Account of Euler\u2019s Method for Solving Initial Value Problems"],"prefix":"10.1007","author":[{"given":"Abbas","family":"Edalat","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dirk","family":"Pattinson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"13_CR1","volume-title":"Handbook of Logic in Computer Science","author":"S. Abramsky","year":"1994","unstructured":"Abramsky, S., Jung, A.: Domain Theory. In: Abramsky, S., Gabbay, D., Maibaum, T.S.E. (eds.) Handbook of Logic in Computer Science, vol.\u00a03, Clarendon Press, Oxford (1994)"},{"key":"13_CR2","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1023\/A:1024467732637","volume":"4","author":"M. Berz","year":"1998","unstructured":"Berz, M., Makino, K.: Verified integration of odes and flows using differential algebraic methods on high-order taylor models. Reliable Computing\u00a04, 361\u2013369 (1998)","journal-title":"Reliable Computing"},{"key":"13_CR3","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1016\/0096-3003(89)90112-4","volume":"31","author":"G. Corliss","year":"1989","unstructured":"Corliss, G.: Survey of interval algorithms for ordinary differential equations. Journal of Applied Mathematics and Computation\u00a031, 112\u2013120 (1989)","journal-title":"Journal of Applied Mathematics and Computation"},{"key":"13_CR4","doi-asserted-by":"crossref","unstructured":"Edalat, A., Krznari\u0107, M., Lieutier, A.: Domain-theoretic solution of differential equations (scalar fields). In: Proceedings of MFPS XIX. Elect. Notes in Theoret. Comput. Sci., vol.\u00a083 (2004)","DOI":"10.1016\/S1571-0661(03)50005-6"},{"key":"13_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"494","DOI":"10.1007\/978-3-540-27836-8_43","volume-title":"Automata, Languages and Programming","author":"A. Edalat","year":"2004","unstructured":"Edalat, A., Pattinson, D.: A domain theoretic account of picard\u2019s theorem. In: D\u00edaz, J., Karhum\u00e4ki, J., Lepist\u00f6, A., Sannella, D. (eds.) ICALP 2004. LNCS, vol.\u00a03142, pp. 494\u2013505. Springer, Heidelberg (2004)"},{"key":"13_CR6","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511542725","volume-title":"Continuous Lattices and Domains","author":"G. Gierz","year":"2003","unstructured":"Gierz, G., Hofmann, K.H., Keimel, K., Lawson, J.D., Mislove, M., Scott, D.: Continuous Lattices and Domains. Cambridge University Press, Cambridge (2003)"},{"key":"13_CR7","series-title":"Cambridge Texts in Applied Mathematics","volume-title":"Numerical Analysis of Differential Equations","author":"A. Iserles","year":"1996","unstructured":"Iserles, A.: Numerical Analysis of Differential Equations. Cambridge Texts in Applied Mathematics. Cambridge University Press, Cambridge (1996)"},{"issue":"1","key":"13_CR8","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1016\/S0168-9274(01)00155-6","volume":"42","author":"K. Jackson","year":"2002","unstructured":"Jackson, K., Nedialkov, N.: Some recent advances in validated methods for ivps for odes. Applied Numerical Mathematics archive\u00a042(1), 269\u2013284 (2002)","journal-title":"Applied Numerical Mathematics archive"},{"key":"13_CR9","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1016\/S0096-3003(98)10083-8","volume":"105","author":"K. Jackson","year":"1999","unstructured":"Jackson, K., Nedialkov, N., Corliss, G.: Validated solutions of initial value problems for ordinary differential equations. Applied Mathematics and Computation\u00a0105, 21\u201368 (1999)","journal-title":"Applied Mathematics and Computation"},{"key":"13_CR10","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1016\/S0019-9958(83)80062-X","volume":"58","author":"K. Ko","year":"1983","unstructured":"Ko, K.: On the computational complexity of ordinary differential equations. Inform. Contr.\u00a058, 157\u2013194 (1983)","journal-title":"Inform. Contr."},{"key":"13_CR11","unstructured":"Lohner, R.: Enclosing the solution of ordinary initial and boundary value problems. In: Kaucher, E., Kulisch, U., Ullrich, C. (eds.) Computer Arithmetic: Scientific Computation and Programming Languages. Wiley-Teubner Series in Computer Science (1987)"},{"key":"13_CR12","unstructured":"Lohner, R.: Einschlie\u00dfung der L\u00f6sung gew\u00f6hnlicher Anfangs- und Randwertaufgaben und Anwendungen. PhD thesis (1988)"},{"key":"13_CR13","series-title":"SIAM studies in applied mathematics","doi-asserted-by":"crossref","DOI":"10.1137\/1.9781611970906","volume-title":"Methods and Applications of Interval Analysis","author":"R. Moore","year":"1979","unstructured":"Moore, R.: Methods and Applications of Interval Analysis. SIAM studies in applied mathematics, vol.\u00a02. SIAM, Philadelphia (1979)"},{"key":"13_CR14","volume-title":"Interval Analysis","author":"R.E. Moore","year":"1966","unstructured":"Moore, R.E.: Interval Analysis. Prentice-Hall, Englewood Cliffs (1966)"},{"key":"13_CR15","unstructured":"M\u00fcller, N., Moiske, B.: Solving initial value problems in polynomial time. In: Proceedings of the 22th JAIIO - Panel 1993, pp. 283\u2013293 (1993)"},{"key":"13_CR16","unstructured":"Nedialkov, N., Jackson, K.: The design and implementation of an object-oriented validated ode solver, Draft available via http:\/\/www.cas.mcmaster.ca\/~nedialk\/"}],"container-title":["Lecture Notes in Computer Science","Applied Parallel Computing. State of the Art in Scientific Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11558958_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:10:43Z","timestamp":1619507443000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11558958_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540290674","9783540334989"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/11558958_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}