{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T05:05:13Z","timestamp":1784178313265,"version":"3.55.0"},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2001,12,1]],"date-time":"2001-12-01T00:00:00Z","timestamp":1007164800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2001,12,1]],"date-time":"2001-12-01T00:00:00Z","timestamp":1007164800000},"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":["Reliable Computing"],"published-print":{"date-parts":[[2001,12]]},"DOI":"10.1023\/a:1014798618404","type":"journal-article","created":{"date-parts":[[2002,12,28]],"date-time":"2002-12-28T16:18:52Z","timestamp":1041092332000},"page":"449-465","source":"Crossref","is-referenced-by-count":91,"title":["An Effective High-Order Interval Method for Validating Existence and Uniqueness of the Solution of an IVP for an ODE"],"prefix":"10.1007","volume":"7","author":[{"given":"Nedialko S.","family":"Nedialkov","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Kenneth R.","family":"Jackson","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"John D.","family":"Pryce","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"issue":"4","key":"388267_CR1","doi-asserted-by":"crossref","first-page":"361","DOI":"10.1023\/A:1024467732637","volume":"4","author":"M. Berz","year":"1998","unstructured":"Berz, M. and Makino, K.: Verified Integration of ODEs and Flows Using Differential Algebraic Methods on High-Order Taylor Models, Reliable Computing\n4(4) (1998), pp. 361-369.","journal-title":"Reliable Computing"},{"key":"388267_CR2","first-page":"228","volume-title":"Scientific Computing, Computer Arithmetic, and Validated Numerics","author":"G. F. Corliss","year":"1996","unstructured":"Corliss, G. F. and Rihm, R.: Validating an A Priori Enclosure Using High-Order Taylor Series, in: Alefeld, G. and Frommer, A. (eds), Scientific Computing, Computer Arithmetic, and Validated Numerics, Akademie Verlag, Berlin, 1996, pp. 228-238."},{"key":"388267_CR3","volume-title":"Mathematical Centre Tracts","author":"P. Eijgenraam","year":"1981","unstructured":"Eijgenraam, P.: The Solution of Initial Value Problems Using Interval Arithmetic, Mathematical Centre Tracts No. 144. Stichting Mathematisch Centrum, Amsterdam, 1981."},{"key":"388267_CR4","unstructured":"Lohner, R. J.: Einschlie\u00dfung der L\u00a8osung gew\u00a8ohnlicher Anfangs-und Randwertaufgaben und Anwendungen, PhD thesis, Universit\u00a8at Karlsruhe, 1988, AWA is available at ftp:\/\/iamk4515.mathematik.uni-karlsruhe.de\/pub\/awa\/."},{"key":"388267_CR5","unstructured":"Makino, K.: Rigorous Analysis of Nonlinear Motion in Particle Accelerators, PhD thesis,Michigan State University, 1998."},{"key":"388267_CR6","doi-asserted-by":"crossref","unstructured":"Nedialkov, N. S.: Computing Rigorous Bounds on the Solution of an Initial Value Problem for an Ordinary Differential Equation, PhD thesis, Department of Computer Science, University of Toronto, Toronto, 1999, available at http:\/\/www.cs.toronto.edu\/NA\/reports.html.","DOI":"10.1007\/978-94-017-1247-7_23"},{"key":"388267_CR7","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1007\/978-94-017-1247-7_23","volume-title":"Developments in Reliable Computing","author":"N. S. Nedialkov","year":"1999","unstructured":"Nedialkov, N. S. and Jackson, K. R.: An Interval Hermite-Obreschkoff Method for Computing Rigorous Bounds on the Solution of an Initial Value Problem for an Ordinary Differential Equation, in: Csendes, T. (ed.), Developments in Reliable Computing, Kluwer Academic Publishers, Dordrecht, Netherlands, 1999, pp. 289-310. Also Reliable Computing\n5(3) (1999), pp. 289-310."},{"key":"388267_CR8","unstructured":"Nedialkov, N. S. and Jackson, K. R.: A New Perspective on the Wrapping Effect in Interval Methods for IVPs for ODEs, 1999, in preparation."},{"issue":"1","key":"388267_CR9","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1016\/S0096-3003(98)10083-8","volume":"105","author":"N. S. Nedialkov","year":"1999","unstructured":"Nedialkov, N. S., Jackson, K. R., and Corliss, G. F.: Validated Solutions of Initial Value Problems for Ordinary Differential Equations, Appl. Math. Comp.\n105 (1) (1999), pp. 21-68.","journal-title":"Appl. Math. Comp."},{"key":"388267_CR10","first-page":"173","volume-title":"Topics in Validated Computations: Proceedings of the IMACS-GAMM International Workshop on Validated Computations, University of Oldenburg","author":"R. Rihm","year":"1994","unstructured":"Rihm, R.: Interval Methods for Initial Value Problems in ODEs, in: Herzberger, J. (ed.), Topics in Validated Computations: Proceedings of the IMACS-GAMM International Workshop on Validated Computations, University of Oldenburg, Elsevier Studies in Computational Mathematics, Elsevier, Amsterdam, New York, 1994, pp. 173-207."},{"key":"388267_CR11","unstructured":"Stauning, O.: Automatic Validation of Numerical Solutions, PhD thesis, Technical University of Denmark, DK-2800, Lyngby, Denmark, 1997, this thesis and ADIODES are available at http:\/\/www.imm.dtu.dk\/fadbad.html."},{"key":"388267_CR12","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1016\/B978-0-12-708245-5.50014-2","volume-title":"Computer Arithmetic and Self-Validating Numerical Methods","author":"H. J. Stetter","year":"1990","unstructured":"Stetter, H. J.: Validated Solution of Initial Value Problems for ODEs, in: Ullrich, C. (ed.), Computer Arithmetic and Self-Validating Numerical Methods, Academic Press, New York, 1990, pp. 171-187."}],"container-title":["Reliable Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1014798618404.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1014798618404\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1014798618404.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T09:36:43Z","timestamp":1754473003000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1014798618404"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,12]]},"references-count":12,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2001,12]]}},"alternative-id":["388267"],"URL":"https:\/\/doi.org\/10.1023\/a:1014798618404","relation":{},"ISSN":["1385-3139","1573-1340"],"issn-type":[{"value":"1385-3139","type":"print"},{"value":"1573-1340","type":"electronic"}],"subject":[],"published":{"date-parts":[[2001,12]]}}}