{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,13]],"date-time":"2025-12-13T06:59:41Z","timestamp":1765609181898,"version":"3.43.0"},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1999,8,1]],"date-time":"1999-08-01T00:00:00Z","timestamp":933465600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[1999,8,1]],"date-time":"1999-08-01T00:00:00Z","timestamp":933465600000},"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":[[1999,8]]},"DOI":"10.1023\/a:1009936607335","type":"journal-article","created":{"date-parts":[[2002,12,22]],"date-time":"2002-12-22T19:25:11Z","timestamp":1040585111000},"page":"289-310","source":"Crossref","is-referenced-by-count":31,"title":["An Interval Hermite-Obreschkoff Method for Computing Rigorous Bounds on the Solution of an Initial Value Problem for an Ordinary Differential Equation"],"prefix":"10.1007","volume":"5","author":[{"given":"Nedialko S.","family":"Nedialkov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kenneth R.","family":"Jackson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"244240_CR1","first-page":"9","volume-title":"Discretization in Differential Equations and Enclosures","author":"E. Adams","year":"1987","unstructured":"Adams, E., Cordes, D., and Lohner, R.: Enclosure of Solutions of Ordinary Initial Value Problems and Applications, in: Adams, E., Ansorge, R., Gro\u00dfmann, Ch., and Roos, H. G. (eds), Discretization in Differential Equations and Enclosures, Akademie-Verlag, Berlin, 1987, pp. 9\u201328."},{"key":"244240_CR2","volume-title":"Introduction to Interval Computations","author":"G. Alefeld","year":"1983","unstructured":"Alefeld, G. and Herzberger, J.: Introduction to Interval Computations, Academic Press, New York, 1983."},{"key":"244240_CR3","series-title":"Technical Report","volume-title":"FADBAD, a Flexible C++ Package for Automatic Differentiation Using the Forward and Backward Methods","author":"C. Bendsten","year":"1996","unstructured":"Bendsten, C. and Stauning, O.: FADBAD, a Flexible C++ Package for Automatic Differentiation Using the Forward and Backward Methods, Technical Report 1996-x5-94, Department of Mathematical Modelling, Technical University of Denmark, DK-2800, Lyngby, Denmark, 1996. FADBAD is available at http:\/\/www.imm.dtu.dk\/fadbad.html."},{"key":"244240_CR4","series-title":"Technical Report","volume-title":"TADIFF, a Flexible C++ Package for Automatic Differentiation Using Taylor Series","author":"C. Bendsten","year":"1997","unstructured":"Bendsten, C. and Stauning, O.: TADIFF, a Flexible C++ Package for Automatic Differentiation Using Taylor Series, Technical Report 1997-x5-94, Department of Mathematical Modelling, Technical University of Denmark, DK-2800, Lyngby, Denmark, 1997. TADIFF is available at http:\/\/www.imm.dtu.dk\/fadbad.html."},{"key":"244240_CR5","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1002\/sapm19654411","volume":"44","author":"G. Birkhoff","year":"1965","unstructured":"Birkhoff, G. and Varga, R. S.: Discretization Errors for Well-Set Cauchy Problems: I, J. Math. and Phys.\n44 (1965), pp. 1\u201323.","journal-title":"J. Math. and Phys."},{"key":"244240_CR6","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\u2013238."},{"key":"244240_CR7","first-page":"291","volume":"II","author":"G. Darboux","year":"1987","unstructured":"Darboux, G.: Sur les d\u00e8veloppements en s\u00e9rie des fonctions d'une seule variable, J. des Math\u00e9matique pures et appl., 3\u00e8me s\u00e9rie, t. II, 1987, pp. 291\u2013312.","journal-title":"J. des Math\u00e9matique pures et appl."},{"key":"244240_CR8","doi-asserted-by":"crossref","first-page":"671","DOI":"10.1137\/0504057","volume":"4","author":"B. L. Ehle","year":"1973","unstructured":"Ehle, B. L.: On Pad\u00e9 Approximations to the Exponential Function and A-Stable Methods for the Numerical Solution of Initial Value Problems, SIAM J. Math. Anal.\n4 (1973), pp. 671\u2013680.","journal-title":"SIAM J. Math. Anal."},{"key":"244240_CR9","series-title":"Mathematical Centre Tracts","volume-title":"The Solution of Initial Value Problems Using Interval Arithmetic","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":"244240_CR10","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1007\/BF01932994","volume":"15","author":"W. H. Enright","year":"1975","unstructured":"Enright, W. H., Hull, T. E., and Lindberg, B.: Comparing Numerical Methods for Stiff Systems of ODEs, BIT\n15 (1975), pp. 10\u201348.","journal-title":"BIT"},{"key":"244240_CR11","unstructured":"Griewank, A.: ODE Solving via Automatic Differentiation and Rational Prediction, in: Griffiths, D. F. and Watson, G. A. (eds), Numerical Analysis 1995, volume 344 of Pitman Research Notes in Mathematics Series, Addison-Wesley Longman Ltd, 1995."},{"key":"244240_CR12","series-title":"Lecture Notes in Comput. Sci.","first-page":"114","volume-title":"High-Order Stiff ODE Solvers via Automatic Differentiation and Rational Prediction","author":"A. Griewank","year":"1997","unstructured":"Griewank, A., Corliss, G. F., Henneberger, P., Kirlinger, G., Potra, F. A., and Stetter, H. J.: High-Order Stiff ODE Solvers via Automatic Differentiation and Rational Prediction, in: Lecture Notes in Comput. Sci.\n1196, Springer, Berlin, 1997, pp. 114\u2013125."},{"issue":"2","key":"244240_CR13","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1145\/229473.229474","volume":"22","author":"A. Griewank","year":"1996","unstructured":"Griewank, A., Juedes, D., and Utke, J.: ADOL-C, a Package for the Automatic Differentiation of Algorithms Written in C\/C++, ACM Trans. Math. Software\n22(2) (1996), pp. 131\u2013167.","journal-title":"ACM Trans. Math. Software"},{"key":"244240_CR14","doi-asserted-by":"crossref","unstructured":"Hairer, E., N\u00f8rsett, S. P., and Wanner, G.: Solving Ordinary Differential Equations I. Nonstiff Problems, Springer-Verlag, 2nd revised edition, 1991.","DOI":"10.1007\/978-3-662-09947-6"},{"issue":"70","key":"244240_CR15","first-page":"432","volume":"84","author":"C. Hermite","year":"1878","unstructured":"Hermite, Ch.: Extrait d'une lettre de M. Ch. Hermite \u00e0 M. Borchardt sur la formule d'interpolation de Lagrange, J. de Crelle\n84(70) (1878), Oeuvres, tome III, pp. 432\u2013443.","journal-title":"J. de Crelle"},{"key":"244240_CR16","unstructured":"Van Iwaarden, R.: IADOL-C, personal communications, 1997."},{"issue":"3\u20134","key":"244240_CR17","doi-asserted-by":"crossref","first-page":"277","DOI":"10.1007\/BF02307379","volume":"53","author":"O. Kn\u00fcppel","year":"1994","unstructured":"Kn\u00fcppel, O.: PROFIL\/BIAS\u2014a Fast Interval Library, Computing\n53(3\u20134) (1994), pp. 277\u2013287. PROFIL\/BIAS is available at http:\/\/www.ti3.tu-harburg.de\/Software\/PROFIL\/Profil.texinfo-l.html.","journal-title":"Computing"},{"key":"244240_CR18","first-page":"91","volume-title":"Topics in Interval Analysis","author":"F. Kr\u00fcckeberg","year":"1969","unstructured":"Kr\u00fcckeberg, F.: Ordinary Differential Equations, in: Hansen, E. (ed.), Topics in Interval Analysis, Clarendon Press, Oxford, 1969, pp. 91\u201397."},{"key":"244240_CR19","unstructured":"Lambert, J. D.: Computational Methods in Ordinary Differential Equations, John Wiley & Sons, 1977."},{"key":"244240_CR20","unstructured":"Lohner, R. J.: Einschlie\u00dfung der L\u00f6sung gew\u00f6hnlicher Anfangs-und Randwertaufgaben und Anwendungen, PhD thesis, Universit\u00e4t Karlsruhe, 1988."},{"key":"244240_CR21","first-page":"255","volume-title":"Computer Arithmetic: Scientific Computation and Programming Languages","author":"R. J. Lohner","year":"1987","unstructured":"Lohner, R. J.: Enclosing the Solutions of Ordinary Initial and Boundary Value Problems, in: Kaucher, E. W., Kulisch, U. W., and Ullrich, Ch. (eds), Computer Arithmetic: Scientific Computation and Programming Languages, Wiley-Teubner Series in Computer Science, Stuttgart, 1987, pp. 255\u2013286."},{"key":"244240_CR22","first-page":"103","volume-title":"Error in Digital Computation","author":"R. E. Moore","year":"1965","unstructured":"Moore, R. E.: Automatic Local Coordinate Transformation to Reduce the Growth of Error Bounds in Interval Computation of Solutions of Ordinary Differential Equations, in: Rall, L. B. (ed.), Error in Digital Computation, Vol. II, Wiley, New York, 1965, pp. 103\u2013140."},{"key":"244240_CR23","volume-title":"Interval Analysis","author":"R. E. Moore","year":"1966","unstructured":"Moore, R. E.: Interval Analysis, Prentice-Hall, Englewood Cliffs, N.J., 1966."},{"key":"244240_CR24","first-page":"61","volume-title":"Error in Digital Computation","author":"R. E. Moore","year":"1965","unstructured":"Moore, R. E.: The Automatic Analysis and Control of Error in Digital Computation Based on the Use of Interval Numbers, in: Rall, L. B. (ed.), Error in Digital Computation, Vol. I, Wiley, New York, 1965, pp. 61\u2013130."},{"key":"244240_CR25","unstructured":"Nedialkov, N. S., Jackson, K. R., and Corliss, G. F.: Validated Solutions of Initial Value Problems for Ordinary Differential Equations, Applied Mathematics and Computation, to appear. Available at http:\/\/www.cs.toronto.edu\/NA\/reports.html."},{"key":"244240_CR26","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, Canada, M5S 3G4. Aailable at http:\/\/www.cs.toronto.edu\/NA\/reports.html."},{"key":"244240_CR27","unstructured":"Obreschkoff, N.: Neue Quadraturformeln, Abh. Preuss. Akad. Wiss. Math. Nat. Kl.\n4 (1940)."},{"key":"244240_CR28","first-page":"191","volume":"65","author":"N. Obreschkoff","year":"1942","unstructured":"Obreschkoff, N.: Sur le quadrature mecaniques, Spisanie Bulgar. Akad. Nauk (Journal of the Bulgarian Academy of Sciences)\n65 (1942), pp. 191\u2013289.","journal-title":"Spisanie Bulgar. Akad. Nauk (Journal of the Bulgarian Academy of Sciences)"},{"key":"244240_CR29","volume-title":"A First Course in Numerical Analysis","author":"A. Ralston","year":"1978","unstructured":"Ralston, A.: A First Course in Numerical Analysis, McGraw-Hill, New York, 2nd edition, 1978.","edition":"2nd edition"},{"key":"244240_CR30","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1007\/BF02307387","volume":"53","author":"R. Rihm","year":"1994","unstructured":"Rihm, R.: On a Class of Enclosure Methods for Initial Value Problems, Computing\n53 (1994), pp. 369\u2013377.","journal-title":"Computing"},{"key":"244240_CR31","series-title":"Studies in Computational Mathematics","first-page":"463","volume-title":"Topics in Validated Computations","author":"J. Rohn","year":"1994","unstructured":"Rohn, J.: NP-Hardness Results for Linear Algebraic Problems with Interval Data, in: Herzberger, J. (ed.), Topics in Validated Computations, volume 5 of Studies in Computational Mathematics, North-Holland, Amsterdam, 1994, pp. 463\u2013471."},{"key":"244240_CR32","series-title":"Technical Report","volume-title":"Automatic Validation of Numerical Solutions","author":"O. Stauning","year":"1997","unstructured":"Stauning, O.: Automatic Validation of Numerical Solutions, Technical Report IMM-PHD-1997-36, IMM, Lyngby, Denmark, 1997."},{"key":"244240_CR33","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1002\/sapm1961401220","volume":"40","author":"R. S. Varga","year":"1961","unstructured":"Varga, R. S.: On Higher Order Stable Implicit Methods for Solving Parabolic Differential Equations, J. Math. and Phys.\n40 (1961), pp. 220\u2013231.","journal-title":"J. Math. and Phys."},{"key":"244240_CR34","series-title":"Technical report","volume-title":"On the Integration of Stiff Differential Equations","author":"G. Wanner","year":"1976","unstructured":"Wanner, G.: On the Integration of Stiff Differential Equations, Technical report, Universit\u00e9 de Gen\u00e9ve, Section de Mathematique, 1211 Gen\u00e9ve 24th, Suisse, 1976."},{"key":"244240_CR35","doi-asserted-by":"crossref","unstructured":"Wanner, G.: On the Integration of Stiff Differential Equations, in: Proceedings of the Colloquium on Numerical Analysis, volume 37 of Internat. Ser. Numer. Math., Basel, Birkh\u00e4user, 1977, pp. 209\u2013226.","DOI":"10.1007\/978-3-0348-5575-4_11"}],"container-title":["Reliable Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1009936607335.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1023\/A:1009936607335\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1023\/A:1009936607335.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T09:33:35Z","timestamp":1754472815000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1023\/A:1009936607335"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,8]]},"references-count":35,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1999,8]]}},"alternative-id":["244240"],"URL":"https:\/\/doi.org\/10.1023\/a:1009936607335","relation":{},"ISSN":["1385-3139","1573-1340"],"issn-type":[{"type":"print","value":"1385-3139"},{"type":"electronic","value":"1573-1340"}],"subject":[],"published":{"date-parts":[[1999,8]]}}}