{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,25]],"date-time":"2026-03-25T05:13:33Z","timestamp":1774415613395,"version":"3.50.1"},"publisher-location":"Dordrecht","reference-count":35,"publisher":"Springer Netherlands","isbn-type":[{"value":"9789048153503","type":"print"},{"value":"9789401712477","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-94-017-1247-7_23","type":"book-chapter","created":{"date-parts":[[2013,3,11]],"date-time":"2013-03-11T00:02:28Z","timestamp":1362960148000},"page":"289-310","source":"Crossref","is-referenced-by-count":64,"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","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":"23_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":"23_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":"23_CR3","unstructured":"Bendsten, C. and Stauning, O.: FADBAD, a Flexible C++ Package for Automatic Differentiation Using the Forward and Backward Methods,Technical Report 1996-x5\u201394, Department of Mathematical Modelling, Technical University of Denmark, DK-2800, Lyngby, Denmark, 1996. FADBAD is available at \n                http:\/\/www.inun.dtu.dk\/fadbad.html\n                \n              ."},{"key":"23_CR4","unstructured":"Bendsten, C. and Stauning, O.: TADIFF, a Flexible C++ Package for Automatic Differentiation Using Taylor Series,Technical Report 1997-x5\u201394, Department of Mathematical Modelling, Technical University of Denmark, DK-2800, Lyngby, Denmark, 1997. TADIFF is available at \n                http:\/\/www.imm.dtu.dk\/fadbad.html\n                \n              ."},{"key":"23_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. 44 (1965), pp. 1\u201323.","journal-title":"J. Math. and Phys"},{"key":"23_CR6","first-page":"228","volume-title":"Scientific Computing, Computer Arithmetic, and Validated Numerics","author":"GF 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":"23_CR7","unstructured":"Darboux, G.: Sur les d\u00e8veloppements en s\u00e9rie des fonctions d\u2019une seule variable, J. des Math\u00e9matique pures et appl., 3\u00e8me s\u00e9rie, t. II, 1876, pp. 291\u2013312."},{"key":"23_CR8","doi-asserted-by":"publisher","first-page":"671","DOI":"10.1137\/0504057","volume":"4","author":"BL 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. 4 (1973), pp. 671\u2013680.","journal-title":"SIAM J. Math. Anal"},{"key":"23_CR9","volume-title":"The Solution of Initial Value Problems Using Interval Arithmetic, 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":"23_CR10","doi-asserted-by":"publisher","first-page":"10","DOI":"10.1007\/BF01932994","volume":"15","author":"WH Enright","year":"1975","unstructured":"Enright, W. H., Hull, T. E., and Lindberg, B.: Comparing Numerical Methods for Stiff Systems of ODEs, BIT\n              15 (1975), pp. 10\u201348.","journal-title":"Bit"},{"key":"23_CR11","volume-title":"Numerical Analysis 1995, volume 344 of Pitman Research Notes in Mathematics Series, Addison-Wesley Longman Ltd","author":"A Griewank","year":"1995","unstructured":"Griewank, A.: ODE Solving via Automatic Differentiation and Rational Prediction, in: Griffiths, D. E. and Watson, G. A. (eds), Numerical Analysis 1995, volume 344 of Pitman Research Notes in Mathematics Series, Addison-Wesley Longman Ltd, 1995."},{"key":"23_CR12","first-page":"114","volume-title":"Lecture Notes in Comput. Sci","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. 1196, Springer, Berlin, 1997, pp. 114\u2013125."},{"issue":"2","key":"23_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\n              22 (2) (1996), pp. 131\u2013167.","journal-title":"ACM Trans. Math. Software"},{"key":"23_CR14","volume-title":"Revised edition","author":"E Hairer","year":"1991","unstructured":"Hairer, E., Nt rsett, S. P., and Wanner, G.: Solving Ordinary Differential Equations I. Nonstiff Problems, Springer-Verlag, 2nd revised edition, 1991."},{"key":"23_CR15","unstructured":"Hermite, Ch.: Extrait d\u2019une lettre de M. Ch. Hermite \u00e0 M. Borchardt sur la formule d\u2019 interpolation de Lagrange, J. de Crelle\n              84 (70) (1878), Oeuvres, tome III, pp. 432\u2013443."},{"key":"23_CR16","volume-title":"Personal communications","author":"R Iwaarden","year":"1997","unstructured":"Van Iwaarden, R.: IADOL-C, personal communications, 1997."},{"key":"23_CR17","doi-asserted-by":"crossref","unstructured":"Kn\u00fcppel, O.: PROFIL\/BIAS-a Fast Interval Library, Computing\n              53 (3\u20134) (1994), pp. 277\u2013287. PROFIL\/BIAS is available at \n                http:\/\/www.ti3.tu-harburg.de\n                \n              \/Software\/PROFIL\/Profil.texinfo_l.html.","DOI":"10.1007\/BF02307379"},{"key":"23_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":"23_CR19","volume-title":"John Wiley Sons","author":"JD Lambert","year":"1977","unstructured":"Lambert, J. D.: Computational Methods in Ordinary Differential Equations, John Wiley Sons, 1977."},{"key":"23_CR20","volume-title":"Einschlie\u00dfung der L\u00f6sung gew\u00f6hnlicher Anfangs-und Randwertaufgaben und Anwendungen","author":"RJ Lohner","year":"1988","unstructured":"Lohner, R. J.: Einschlie\u00dfung der L\u00f6sung gew\u00f6hnlicher Anfangs-und Randwertaufgaben und Anwendungen, PhD thesis, Universit\u00e4t Karlsruhe, 1988."},{"key":"23_CR21","first-page":"255","volume-title":"Computer Arithmetic: Scientific Computation and Programming Languages","author":"RJ 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":"23_CR22","first-page":"103","volume-title":"Error in Digital Computation, Vol. II","author":"RE Moore","year":"1965","unstructured":"Moore, R. E.: Automatic Local Coordinate Transformations 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":"23_CR23","volume-title":"Interval Analysis","author":"RE Moore","year":"1966","unstructured":"Moore, R. E.: Interval Analysis, Prentice-Hall, Englewood Cliffs, N.J., 1966."},{"key":"23_CR24","first-page":"61","volume-title":"Error in Digital Computation, Vol. I","author":"RE 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":"23_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 \n                http:\/\/www.cs.toronto.edu\/NA\/reports.html\n                \n              ."},{"key":"23_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 \n                http:\/\/www.cs.toronto.edu\/NA\/reports.html\n                \n              ."},{"key":"23_CR27","unstructured":"Obreschkoff, N.: Neue Quadraturformeln, Abh. Preuss. Akad. Wiss. Math. Nat. K1. 4 (1940)."},{"key":"23_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)\n              65 (1942), pp. 191\u2013289.","journal-title":"Spisanie Bulgar. Akad. Nauk (Journal of the Bulgarian Academy of Sciences)"},{"key":"23_CR29","volume-title":"Edition","author":"A Ralston","year":"1978","unstructured":"Ralston, A.: A First Course in Numerical Analysis, McGraw-Hill, New York, 2nd edition, 1978."},{"key":"23_CR30","doi-asserted-by":"publisher","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\n              53 (1994), pp. 369\u2013377.","journal-title":"Computing"},{"key":"23_CR31","first-page":"463","volume-title":"Topics in Validated Computations, volume 5 of Studies in Computational Mathematics","author":"J Rohn","year":"1994","unstructured":"Rohn, J.: NP-Hardness Results for Linear Algebraic Problems with Interval Data, in: Herzberg-er, J. (ed.), Topics in Validated Computations, volume 5 of Studies in Computational Mathematics, North-Holland, Amsterdam, 1994, pp. 463\u2013471."},{"key":"23_CR32","volume-title":"Automatic Validation of Numerical Solutions, Technical Report IMM-PHD-199736, IMM","author":"O Stauning","year":"1997","unstructured":"Stauning, O.: Automatic Validation of Numerical Solutions, Technical Report IMM-PHD-199736, IMM, Lyngby, Denmark, 1997."},{"key":"23_CR33","doi-asserted-by":"crossref","first-page":"220","DOI":"10.1002\/sapm1961401220","volume":"40","author":"RS Varga","year":"1961","unstructured":"Varga, R. S.: On Higher Order Stable Implicit Methods for Solving Parabolic Differential Equations, J. Math. and Phys.\n              40 (1961), pp. 220\u2013231.","journal-title":"J. Math. and Phys."},{"key":"23_CR34","volume-title":"Suisse","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":"23_CR35","first-page":"209","volume-title":"Proceedings of the Colloquium on Numerical Analysis, volume 37 of Internat. Ser. Numer. Math","author":"G Wanner","year":"1977","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."}],"container-title":["Developments in Reliable Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-94-017-1247-7_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,11]],"date-time":"2019-05-11T13:26:02Z","timestamp":1557581162000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-94-017-1247-7_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9789048153503","9789401712477"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-94-017-1247-7_23","relation":{},"subject":[],"published":{"date-parts":[[1999]]}}}