{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,12]],"date-time":"2025-11-12T03:22:14Z","timestamp":1762917734047,"version":"3.37.3"},"reference-count":42,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2016,10,13]],"date-time":"2016-10-13T00:00:00Z","timestamp":1476316800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100004239","name":"Poznan University of Technology","doi-asserted-by":"crossref","award":["09\/91\/DSPB\/0600"],"award-info":[{"award-number":["09\/91\/DSPB\/0600"]}],"id":[{"id":"10.13039\/501100004239","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100004239","name":"Poznan University of Technology","doi-asserted-by":"crossref","award":["02\/21\/DSPB\/3477"],"award-info":[{"award-number":["02\/21\/DSPB\/3477"]}],"id":[{"id":"10.13039\/501100004239","id-type":"DOI","asserted-by":"crossref"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Numer Algor"],"published-print":{"date-parts":[[2017,7]]},"DOI":"10.1007\/s11075-016-0220-x","type":"journal-article","created":{"date-parts":[[2016,10,13]],"date-time":"2016-10-13T03:26:55Z","timestamp":1476329215000},"page":"777-808","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["On interval predictor-corrector methods"],"prefix":"10.1007","volume":"75","author":[{"given":"Andrzej","family":"Marciniak","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Malgorzata A.","family":"Jankowska","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tomasz","family":"Hoffmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,10,13]]},"reference":[{"key":"220_CR1","unstructured":"Alefeld, G., Herzberger, J.: Introduction to Interval Computations. Academic Press, New York (1983)"},{"key":"220_CR2","doi-asserted-by":"crossref","first-page":"339","DOI":"10.1007\/BF02265314","volume":"22","author":"H Bauch","year":"1979","unstructured":"Bauch, H.: On the iterative inclusion of solutions in initial-value problems for ordinary differential equations. Computing 22, 339\u2013354 (1979)","journal-title":"Computing"},{"issue":"1","key":"220_CR3","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1023\/A:1009958918582","volume":"4","author":"M Berz","year":"1998","unstructured":"Berz, M., Hoffst\u00e4tter, G.: Computation and application of taylor polynomials with interval remainder bounds. Reliab. Comput. 4(1), 83\u201397 (1998)","journal-title":"Reliab. Comput."},{"key":"220_CR4","doi-asserted-by":"crossref","unstructured":"Berz, M., Makino, K.: Performance of Taylor model methods for validated integration of ODEs. In: Dongarra, J., Madsen, K., Wasniewski, J. (eds.) Applied Parallel Computing. State of the Art in Scientific Computing, Lecture Notes in Computer Science, vol. 3732, pp. 65\u201373 (2005)","DOI":"10.1007\/11558958_8"},{"key":"220_CR5","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1090\/S0025-5718-1964-0159424-9","volume":"18","author":"JC Butcher","year":"1964","unstructured":"Butcher, J.C.: Implicit Runge-Kutta processes. Math. Comput. 18, 50\u201364 (1964)","journal-title":"Math. Comput."},{"key":"220_CR6","volume-title":"The Numerical Analysis of Ordinary Differential Equations: Runge-Kutta and General Linear Methods","author":"JC Butcher","year":"1987","unstructured":"Butcher, J.C.: The Numerical Analysis of Ordinary Differential Equations: Runge-Kutta and General Linear Methods. Wiley, Chichester (1987)"},{"key":"220_CR7","unstructured":"Corliss, G.F., Rihm, R.: Validating an a priori enclosure using high-order Taylor series. In: In Scientific Computing, Computer Arithmetic, and Validated Numerics, pp. 228\u2013238. Akademie Verlag (1996)"},{"issue":"1","key":"220_CR8","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1007\/BF01932994","volume":"15","author":"WH Enright","year":"1975","unstructured":"Enright, W.H., Hull, T.R., Lindberg, B.: Comparing numerical methods for stiff systems of O.D.E:s. BIT Numer. Math. 15(1), 10\u201348 (1975)","journal-title":"BIT Numer. Math."},{"issue":"1","key":"220_CR9","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/23002.27645","volume":"13","author":"WH Enright","year":"1987","unstructured":"Enright, W.H., Pryce, J.D.: Two fortran packages for assessing initial value methods. ACM Trans. Math. Softw. 13(1), 1\u201327 (1987)","journal-title":"ACM Trans. Math. Softw."},{"key":"220_CR10","doi-asserted-by":"crossref","unstructured":"Gajda, K., Jankowska, M., Marciniak, A., Szyszka, B.: A survey of interval Runge-Kutta and multistep methods for solving the initial value problem. In: Wyrzykowski, R., Dongarra, J., Karczewski, K., Wasniewski, J. (eds.) Parallel Processing and Applied Mathematics, Lecture Notes in Computer Science, vol. 4967, pp. 1361\u20131371. Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-68111-3_144"},{"issue":"1","key":"220_CR11","doi-asserted-by":"crossref","first-page":"41","DOI":"10.12921\/cmst.2000.06.01.41-59","volume":"6","author":"K Gajda","year":"2000","unstructured":"Gajda, K., Marciniak, A., Szyszka, B.: Three-and four-stage implicit interval methods of Runge-Kutta type. Computational Methods in Science and Technology 6(1), 41\u201359 (2000)","journal-title":"Computational Methods in Science and Technology"},{"issue":"1","key":"220_CR12","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1137\/0725012","volume":"25","author":"TN Gambill","year":"1988","unstructured":"Gambill, T.N., Skeel, R.D.: Logarithmic reduction of the wrapping effect with application to ordinary differential equations. SIAM J. Numer. Anal. 25(1), 153\u2013162 (1988)","journal-title":"SIAM J. Numer. Anal."},{"key":"220_CR13","volume-title":"Numerical Toolbox for Verified Computing I. Basic Numerical Problems, Theory, Algorithms, and Pascal-XSC Programs","author":"R Hammer","year":"1993","unstructured":"Hammer, R., Hocks, M., Kulisch, U., Ratz, D.: Numerical Toolbox for Verified Computing I. Basic Numerical Problems, Theory, Algorithms, and Pascal-XSC Programs. Springer, Berlin (1993)"},{"key":"220_CR14","volume-title":"Topics in Interval Analysis","author":"ER Hansen","year":"1969","unstructured":"Hansen, E.R.: Topics in Interval Analysis. Oxford University Press, London (1969)"},{"key":"220_CR15","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-12607-3","volume-title":"Solving Ordinary Differential Equations I\u2014Nonstiff Problems","author":"E Heirer","year":"1987","unstructured":"Heirer, E., Nrsett, S.P., Wanner, G.: Solving Ordinary Differential Equations I\u2014Nonstiff Problems. Springer, Berlin (1987)"},{"key":"220_CR16","volume-title":"Solving Ordinary Differential Equations II\u2014Stiff and Differential-Algebraic Problems","author":"E Heirer","year":"1991","unstructured":"Heirer, E., Wanner, G.: Solving Ordinary Differential Equations II\u2014Stiff and Differential-Algebraic Problems. Springer, Berlin (1991)"},{"issue":"1\u20133","key":"220_CR17","doi-asserted-by":"crossref","first-page":"269","DOI":"10.1016\/S0168-9274(01)00155-6","volume":"42","author":"KR Jackson","year":"2002","unstructured":"Jackson, K.R., Nedialkov, N.S.: Some recent advances in validated methods for IVPs for ODEs. Appl. Numer. Math. 42(1\u20133), 269\u2013284 (2002)","journal-title":"Appl. Numer. Math."},{"issue":"1","key":"220_CR18","doi-asserted-by":"crossref","first-page":"17","DOI":"10.12921\/cmst.2002.08.01.17-30","volume":"8","author":"M Jankowska","year":"2002","unstructured":"Jankowska, M., Marciniak, A.: Implicit interval methods for solving the initial value problem. Computational Methods in Science and Technology 8(1), 17\u201330 (2002)","journal-title":"Computational Methods in Science and Technology"},{"issue":"2","key":"220_CR19","doi-asserted-by":"crossref","first-page":"46","DOI":"10.12921\/cmst.2002.08.02.46-57","volume":"8","author":"M Jankowska","year":"2002","unstructured":"Jankowska, M., Marciniak, A.: On explicit interval methods of Adams-Bashforth type. Computational Methods in Science and Technology 8(2), 46\u201357 (2002)","journal-title":"Computational Methods in Science and Technology"},{"issue":"2","key":"220_CR20","doi-asserted-by":"crossref","first-page":"109","DOI":"10.12921\/cmst.2006.12.02.109-113","volume":"12","author":"M Jankowska","year":"2006","unstructured":"Jankowska, M., Marciniak, A.: On two families of implicit interval methods of Adams-Moulton type. Computational Methods in Science and Technology 12(2), 109\u2013113 (2006)","journal-title":"Computational Methods in Science and Technology"},{"key":"220_CR21","unstructured":"Kalmykov, S.A., Shokin, J.I., Juldashev, E.C.: Solving Ordinary Differential Equations by Interval Methods. In: Doklady AN SSSR, vol. 230 (1976)"},{"key":"220_CR22","unstructured":"Lohner, R.J.: Computation of guaranteed enclosures for the solutions of ordinary initial and boundary value problems. In: Cash, J. R., Gladwell, I. (eds.) Computational Ordinary Differential Equations, pp. 425\u2013435. Clarendon Press, Oxford (1992)"},{"issue":"4","key":"220_CR23","first-page":"353","volume":"10","author":"K Makino","year":"2005","unstructured":"Makino, K., Berz, M.: Suppression of the wrapping effect by taylor Model-Based verified integrators: long-term stabilization by preconditioning. International Journal of Differential Equations and Applications 10(4), 353\u2013384 (2005)","journal-title":"International Journal of Differential Equations and Applications"},{"issue":"2","key":"220_CR24","first-page":"175","volume":"36","author":"K Makino","year":"2006","unstructured":"Makino, K., Berz, M.: Suppression of the wrapping effect by taylor Model-Based verified integrators: the single step. International Journal of Pure and Applied Mathematics 36(2), 175\u2013197 (2006)","journal-title":"International Journal of Pure and Applied Mathematics"},{"issue":"1\u20134","key":"220_CR25","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1023\/B:NUMA.0000049471.81341.60","volume":"37","author":"A Marciniak","year":"2004","unstructured":"Marciniak, A.: Implicit interval methods for solving the initial value problem. Numerical Algorithms 37(1\u20134), 241\u2013251 (2004)","journal-title":"Numerical Algorithms"},{"issue":"1","key":"220_CR26","doi-asserted-by":"crossref","first-page":"23","DOI":"10.12921\/cmst.2007.13.01.23-29","volume":"13","author":"A Marciniak","year":"2007","unstructured":"Marciniak, A.: Multistep interval methods of nystr\u00f6m and Milne-Simpson types. Computational Methods in Science and Technology 13(1), 23\u201340 (2007)","journal-title":"Computational Methods in Science and Technology"},{"issue":"2","key":"220_CR27","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1016\/j.cam.2005.07.036","volume":"199","author":"A Marciniak","year":"2007","unstructured":"Marciniak, A.: On multistep interval methods for solving the initial value problem. J. Comput. Appl. Math. 199(2), 229\u2013237 (2007)","journal-title":"J. Comput. Appl. Math."},{"key":"220_CR28","volume-title":"Selected Interval Methods for Solving the Initial Value Problem","author":"A Marciniak","year":"2009","unstructured":"Marciniak, A.: Selected Interval Methods for Solving the Initial Value Problem. Publishing House of Poznan University of Technology, Poznan (2009)"},{"key":"220_CR29","unstructured":"Marciniak, A.: Delphi Pascal Programs for Interval Multistep Methods (2016). http:\/\/www.cs.put.poznan.pl\/amarciniak\/IPCM-Examples"},{"key":"220_CR30","unstructured":"Marciniak, A.: Interval Arithmetic Unit (2016). http:\/\/www.cs.put.poznan.pl\/amarciniak\/IAUnits\/IntervalArithmetic32and64.pas"},{"issue":"1","key":"220_CR31","doi-asserted-by":"crossref","first-page":"53","DOI":"10.12921\/cmst.1999.05.01.53-65","volume":"5","author":"A Marciniak","year":"1999","unstructured":"Marciniak, A., Szyszka, B.: One-and two-stage implicit interval methods of Runge-Kutta type. Computational Methods in Science and Technology 5(1), 53\u201365 (1999)","journal-title":"Computational Methods in Science and Technology"},{"key":"220_CR32","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. 1, pp. 61\u2013130. Wiley, New York (1965)"},{"key":"220_CR33","volume-title":"Interval Analysis","author":"RE Moore","year":"1966","unstructured":"Moore, R.E.: Interval Analysis. Prentice-Hall, Englewood Cliffs (1966)"},{"key":"220_CR34","doi-asserted-by":"crossref","unstructured":"Moore, R.E.: Methods and Applications of Interval Analysis. SIAM Society for Industrial & Applied Mathematics, Philadelphia (1979)","DOI":"10.1137\/1.9781611970906"},{"key":"220_CR35","unstructured":"Nedialkov, N.S.: Interval Tools for ODEs and DAEs. Tech. Rep. CAS 06-09-NN, Department of Computing and Software, McMaster University, Hamilton (2006)"},{"key":"220_CR36","unstructured":"Nedialkov, N.S.: VNODE-LP\u2014a Validated Solver for Initial Value Problems in Ordinary Differential Equations. Tech. Rep. CAS 06-06-NN, Department of Computing and Software, McMaster University, Hamilton (2006)"},{"key":"220_CR37","doi-asserted-by":"crossref","unstructured":"Nedialkov, N.S., Jackson, K.R.: A New Perspective on the Wrapping Effect in Interval Methods for Initial Value Problems for Ordinary Differential Equations. In: Facius, A., Kulisch, U., Lohner, R. (eds.) Perspectives on Enclosure Methods, pp. 219\u2013264. Springer, Vienna (2001)","DOI":"10.1007\/978-3-7091-6282-8_13"},{"issue":"1","key":"220_CR38","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1016\/S0096-3003(98)10083-8","volume":"105","author":"NS Nedialkov","year":"1999","unstructured":"Nedialkov, N.S., Jackson, K.R., Corliss, G.F.: Validated solutions of initial value problems for ordinary differential equations. Appl. Math. Comput. 105 (1), 21\u201368 (1999)","journal-title":"Appl. Math. Comput."},{"key":"220_CR39","doi-asserted-by":"crossref","unstructured":"Nickel, K.: How to Fight the Wrapping Effect. In: Goos, G., Hartmanis, J. (eds.) Lecture Notes in Computer Science, pp. 121\u2013132. Springer, Berlin (1986)","DOI":"10.1007\/3-540-16437-5_12"},{"issue":"11","key":"220_CR40","doi-asserted-by":"crossref","first-page":"513","DOI":"10.1002\/zamm.19860661102","volume":"66","author":"K Nickel","year":"1986","unstructured":"Nickel, K.: Using interval methods for the numerical solution of ODE\u2019s. ZAMM-Journal of Applied Mathematics and Mechanics\/Zeitschrift f\u00fc,r Angewandte Mathematik und Mechanik 66(11), 513\u2013523 (1986)","journal-title":"ZAMM-Journal of Applied Mathematics and Mechanics\/Zeitschrift f\u00fc,r Angewandte Mathematik und Mechanik"},{"key":"220_CR41","volume-title":"Interval Analysis","author":"YI Shokin","year":"1981","unstructured":"Shokin, Y.I.: Interval Analysis. Novosibirsk, Nauka (1981)"},{"key":"220_CR42","unstructured":"Stewart, N.F.: A heuristic to reduce the wrapping effect in the numerical solution of x = f(t,x). BIT Numer. Math. 11(3), 328\u2013337 (1971)"}],"container-title":["Numerical Algorithms"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11075-016-0220-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11075-016-0220-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11075-016-0220-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,9,26]],"date-time":"2020-09-26T16:21:22Z","timestamp":1601137282000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11075-016-0220-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10,13]]},"references-count":42,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2017,7]]}},"alternative-id":["220"],"URL":"https:\/\/doi.org\/10.1007\/s11075-016-0220-x","relation":{},"ISSN":["1017-1398","1572-9265"],"issn-type":[{"type":"print","value":"1017-1398"},{"type":"electronic","value":"1572-9265"}],"subject":[],"published":{"date-parts":[[2016,10,13]]}}}