{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T07:29:01Z","timestamp":1761982141445,"version":"build-2065373602"},"reference-count":13,"publisher":"Elsevier","isbn-type":[{"type":"print","value":"9780127082455"}],"license":[{"start":{"date-parts":[[1990,1,1]],"date-time":"1990-01-01T00:00:00Z","timestamp":631152000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1016\/b978-0-12-708245-5.50014-2","type":"book-chapter","created":{"date-parts":[[2014,7,1]],"date-time":"2014-07-01T01:35:40Z","timestamp":1404178540000},"page":"171-187","source":"Crossref","is-referenced-by-count":11,"title":["Validated Solution of Initial Value Problems for ODE"],"prefix":"10.1016","author":[{"given":"Hans J.","family":"Stetter","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/B978-0-12-708245-5.50014-2_bib1","unstructured":"E. Adams: Periodic Solutions: Enclosure, Verification, Applications, this volume."},{"key":"10.1016\/B978-0-12-708245-5.50014-2_bib2","unstructured":"R.E. Moore: Interval Analysis, Prentice-Hall, 1966."},{"key":"10.1016\/B978-0-12-708245-5.50014-2_bib3","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1007\/BF01436596","article-title":"Fehlersch\u00e4tzung bei Anfangswertaufgaben f\u00fcr Systeme von gew\u00f6hnlichen Differentialgleichungen mit Anwendungen auf das Reentry-Problem","volume":"24","author":"Marcowitz","year":"1975","journal-title":"Numer. Math."},{"key":"10.1016\/B978-0-12-708245-5.50014-2_bib4","article-title":"The Solution of Initial Value Problems Using Interval Arithmetic","volume":"144","author":"Eijgenraam","year":"1981","journal-title":"Math. Centre Tracts"},{"key":"10.1016\/B978-0-12-708245-5.50014-2_bib5","unstructured":"R. Lohner: Einschlie\u00dfung der L\u00f6sung gew\u00f6hnlicher Anfangs- und Randwertaufgaben und Anwendungen, Dissertation, Karlsruhe, 1988, resp. R. Lohner: Enclosing the Solution of Ordinary Initial and Boundary Value Problems, in: E. Kaucher, U. Kulisch, Ch. Ullrich (eds.): Computer Arithmetic, B.G. Teubner, 1987."},{"key":"10.1016\/B978-0-12-708245-5.50014-2_bib6","unstructured":"R. Lohner: AWA, Program package in Fortran-SC for the inclusion of ordinary initial value problems, Karlsruhe."},{"year":"1970","series-title":"Differential and Integral Inequalities","author":"Walter","key":"10.1016\/B978-0-12-708245-5.50014-2_bib7"},{"year":"1984","series-title":"Self-Validating Numerics in Function Space Problems","author":"Kaucher","key":"10.1016\/B978-0-12-708245-5.50014-2_bib8"},{"key":"10.1016\/B978-0-12-708245-5.50014-2_bib9","unstructured":"L.B. Rall: Optimal Implementation of Differentiation Arithmetic, in: E. Kaucher, U. Kulisch, Ch. Ullrich (eds.): Computer Arithmetic, B.G. Teubner, 1987."},{"key":"10.1016\/B978-0-12-708245-5.50014-2_bib10","unstructured":"H.J. Stetter: Tolerance Proportionality in ODE-codes, in: Symposium on Ordinary Differential Equations, Proceedings, Urbana, 1979."},{"key":"10.1016\/B978-0-12-708245-5.50014-2_bib11","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1145\/355993.355995","article-title":"Solving Ordinary Differential Equations Using Taylor Series","volume":"8","author":"Corliss","year":"1982","journal-title":"TOMS"},{"key":"10.1016\/B978-0-12-708245-5.50014-2_bib12","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1137\/0712021","article-title":"Interval Arithmetic Error-bounding Algorithms","volume":"12","author":"Jackson","year":"1975","journal-title":"SIAM J. Numer. Anal."},{"key":"10.1016\/B978-0-12-708245-5.50014-2_bib13","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1007\/BF02243806","article-title":"A Self Validating Numerical Method for the Matrix-Exponential","volume":"43","author":"Bochev","year":"1989","journal-title":"Computing"}],"container-title":["Computer Arithmetic and Self-Validating Numerical Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:B9780127082455500142?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:B9780127082455500142?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2018,10,2]],"date-time":"2018-10-02T02:29:57Z","timestamp":1538447397000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/B9780127082455500142"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9780127082455"],"references-count":13,"URL":"https:\/\/doi.org\/10.1016\/b978-0-12-708245-5.50014-2","relation":{},"subject":[],"published":{"date-parts":[[1990]]}}}