{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,21]],"date-time":"2026-04-21T09:58:07Z","timestamp":1776765487226,"version":"3.51.2"},"reference-count":17,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[1994,12,1]],"date-time":"1994-12-01T00:00:00Z","timestamp":786240000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computing"],"published-print":{"date-parts":[[1994,12]]},"DOI":"10.1007\/bf02276880","type":"journal-article","created":{"date-parts":[[2005,12,9]],"date-time":"2005-12-09T07:55:05Z","timestamp":1134114905000},"page":"315-336","source":"Crossref","is-referenced-by-count":10,"title":["Global, rigorous and realistic bounds for the solution of dissipative differential equations. Part I: Theory","Globale, rigorose und realistische Schranken f\u00fcr die L\u00f6sung von dissipativen Differentialgleichungen Teil I: Theorie"],"prefix":"10.1007","volume":"52","author":[{"given":"A.","family":"Neumaier","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02276880_CR1","unstructured":"Coppel, W. A.: Stability and asymptotic behaviour of differential equations. Boston 1965."},{"key":"BF02276880_CR2","unstructured":"Dahlquist, G.: Stability and error bounds in the numerical integration of ordinary differential equations. Trans. Royal Inst. Technology, No. 130, Stockholm 1959."},{"key":"BF02276880_CR3","unstructured":"Eijgenraam, P.: The solution of initial value problems using interval arithmetic. Math. Centre Tracts 144, Amsterdam 1981."},{"key":"BF02276880_CR4","volume-title":"Ordinary differential equations","author":"P. Hartman","year":"1964","unstructured":"Hartman, P.: Ordinary differential equations. New York: Wiley 1964."},{"key":"BF02276880_CR5","doi-asserted-by":"crossref","first-page":"218","DOI":"10.1007\/BF01404692","volume":"19","author":"K. G. Guderley","year":"1972","unstructured":"Guderley, K. G., Keller, C. L.: A basic theorem in the computation of ellipsoidal error bounds. Numer. Math.19, 218\u2013229 (1972).","journal-title":"Numer. Math."},{"key":"BF02276880_CR6","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1007\/BF01944478","volume":"22","author":"E. Hairer","year":"1982","unstructured":"Hairer, E., Badrr, G., Lubich, C.: On the stability of semi-implicit methods for ordinary differential equations. BIT22, 211\u2013232 (1982).","journal-title":"BIT"},{"key":"BF02276880_CR7","volume-title":"Ordinary differential equations","author":"P. Hartman","year":"1964","unstructured":"Hartman, P.: Ordinary differential equations. New York: Wiley 1964."},{"key":"BF02276880_CR8","doi-asserted-by":"crossref","first-page":"604","DOI":"10.1137\/0722037","volume":"22","author":"R. Krawczyk","year":"1985","unstructured":"Krawczyk, R., Neumaier, A.: Interval slopes for rational functions and associated centered forms. SIAM J. Numer. Anal.22 604\u2013616 (1985).","journal-title":"SIAM J. Numer. Anal."},{"key":"BF02276880_CR9","first-page":"255","volume-title":"Computer arithmetic","author":"R. Lohner","year":"1987","unstructured":"Lohner, R.: Enclosing the solution of ordinary initial- and boundary-value problems. In: Computer arithmetic (Kaucher, E., eds.), pp. 255\u2013286. Stuttgart: Teubner 1987."},{"key":"BF02276880_CR10","first-page":"52","volume":"6","author":"S. M. Lozinskij","year":"1958","unstructured":"Lozinskij, S. M.: Error estimate for numerical integration of ordinary differential equations, Part I. Izv. Vys\u0161. U\u010debn. Zaved. Matematica6, 52\u201390 (1958).","journal-title":"Izv. Vys\u0161. U\u010debn. Zaved. Matematica"},{"key":"BF02276880_CR11","unstructured":"Moore, R. E.: Interval arithmetic and automatic error analysis in digital computing. Ph.D. thesis, Appl. Math. Statist. Lab. Rep. 25, Stanford Univ., 1962."},{"key":"BF02276880_CR12","volume-title":"Interval methods for systems of equations","author":"A. Neumaier","year":"1990","unstructured":"Neumaier, A.: Interval methods for systems of equations. Cambridge: Cambridge Univ. Press, 1990."},{"key":"BF02276880_CR13","series-title":"Computing [Suppl.]","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/978-3-7091-6918-6_14","volume-title":"Validation numerics","author":"A. Neumaier","year":"1993","unstructured":"Neumaier, A.: The wrapping effect, ellipsoid arithmetic, stability and confidence regions. In: Validation numerics (Albrecht, R., Alefeld, G., Stetter, H. J., eds.), pp. 175\u2013190. Computing [Suppl.] 9. Wien New York: Springer 1993."},{"key":"BF02276880_CR14","series-title":"Computing [Suppl.]","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1007\/978-3-7091-6918-6_15","volume-title":"Validation numerics","author":"S. M. Rump","year":"1993","unstructured":"Rump, S. M.: Validated solution of large linear systems. In: Validation numerics (Albrecht, R., Alefeld, G., Stertter, H. J., eds.), pp. 191\u2013212. Computing [Suppl.] 9. Wien New York: Springer 1993."},{"key":"BF02276880_CR15","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1007\/BF01389581","volume":"42","author":"B. Schmitt","year":"1983","unstructured":"Schmitt, B.: Norm bounds for rational matrix functions. Numer. Math.42, 379\u2013389 (1983).","journal-title":"Numer. Math."},{"key":"BF02276880_CR16","doi-asserted-by":"crossref","first-page":"1136","DOI":"10.1137\/0911064","volume":"11","author":"R. B. Schnabel","year":"1990","unstructured":"Schnabel, R. B., Eskow, E.: A new modified Cholesky factorization. SIAM J. Sci. Stat. Comput.11, 1136\u20131158 (1990).","journal-title":"SIAM J. Sci. Stat. Comput."},{"key":"BF02276880_CR17","doi-asserted-by":"crossref","first-page":"741","DOI":"10.1137\/0712055","volume":"12","author":"T. Str\u00f6m","year":"1975","unstructured":"Str\u00f6m, T.: On logarithmic norms. SIAM J. Numer. Anal.12, 741\u2013753 (1975).","journal-title":"SIAM J. Numer. Anal."}],"container-title":["Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02276880.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02276880\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02276880","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,15]],"date-time":"2019-05-15T18:28:34Z","timestamp":1557944914000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02276880"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,12]]},"references-count":17,"journal-issue":{"issue":"4","published-print":{"date-parts":[[1994,12]]}},"alternative-id":["BF02276880"],"URL":"https:\/\/doi.org\/10.1007\/bf02276880","relation":{},"ISSN":["0010-485X","1436-5057"],"issn-type":[{"value":"0010-485X","type":"print"},{"value":"1436-5057","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,12]]}}}