{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T04:39:49Z","timestamp":1742963989719,"version":"3.40.3"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319328584"},{"type":"electronic","value":"9783319328591"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-32859-1_44","type":"book-chapter","created":{"date-parts":[[2016,4,15]],"date-time":"2016-04-15T11:12:06Z","timestamp":1460718726000},"page":"520-532","source":"Crossref","is-referenced-by-count":0,"title":["Certifying Trajectories of Dynamical Systems"],"prefix":"10.1007","author":[{"given":"Joris","family":"van der Hoeven","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,4,16]]},"reference":[{"key":"44_CR1","volume-title":"Introduction to Interval Analysis","author":"G Alefeld","year":"1983","unstructured":"Alefeld, G., Herzberger, J.: Introduction to Interval Analysis. Academic Press, New York (1983)"},{"key":"44_CR2","doi-asserted-by":"publisher","first-page":"581","DOI":"10.1145\/322092.322099","volume":"25","author":"RP Brent","year":"1978","unstructured":"Brent, R.P., Kung, H.T.: Fast algorithms for manipulating formal power series. J. ACM 25, 581\u2013595 (1978)","journal-title":"J. ACM"},{"issue":"1","key":"44_CR3","doi-asserted-by":"publisher","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":"44_CR4","first-page":"479","volume":"34","author":"J Hoeven van der","year":"2002","unstructured":"van der Hoeven, J.: Relax, but don\u2019t be too lazy. JSC 34, 479\u2013542 (2002)","journal-title":"JSC"},{"key":"44_CR5","unstructured":"van der Hoeven, J.: Ball arithmetic. In: Beckmann, A., Ga\u00dfner, C., L\u00f6we, B. (eds.) International Workshop on Logical approaches to Barriers in Computing and Complexity, no. 6 in Preprint-Reihe Mathematik, pp. 179\u2013208. Ernst-Moritz-Arndt-Universit\u00e4t Greifswald, February 2010"},{"issue":"8","key":"44_CR6","first-page":"857","volume":"45","author":"J Hoeven van der","year":"2010","unstructured":"van der Hoeven, J.: Newton\u2019s method and FFT trading. JSC 45(8), 857\u2013878 (2010)","journal-title":"JSC"},{"issue":"1","key":"44_CR7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.5802\/ccirm.16","volume":"2","author":"Joris Hoeven","year":"2011","unstructured":"van der Hoeven, J.: Calcul analytique. In: Journ\u00e9es Nationales de Calcul Formel (2011), vol. 2. Les cours du CIRM. CEDRAM 2011. Exp. No. 4, p. 85 (2011). \n                      http:\/\/ccirm.cedram.org\/ccirm-bin\/fitem?id=CCIRM_2011__2_1_A4_0","journal-title":"Les cours du CIRM"},{"key":"44_CR8","doi-asserted-by":"crossref","unstructured":"van der Hoeven, J.: Faster relaxed multiplication. In: Proceedings of the ISSAC 2014, pp. 405\u2013412, Kobe, Japan, July 2014","DOI":"10.1145\/2608628.2608657"},{"key":"44_CR9","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0249-6","volume-title":"Applied Interval Analysis","author":"L Jaulin","year":"2001","unstructured":"Jaulin, L., Kieffer, M., Didrit, O., Walter, E.: Applied Interval Analysis. Springer, London (2001)"},{"key":"44_CR10","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/BF02684450","volume":"61","author":"W K\u00fchn","year":"1998","unstructured":"K\u00fchn, W.: Rigourously computed orbits of dynamical systems without the wrapping effect. Computing 61, 47\u201367 (1998)","journal-title":"Computing"},{"key":"44_CR11","series-title":"Studies in Mathematics","doi-asserted-by":"crossref","DOI":"10.1515\/9783110203196","volume-title":"Computer Arithmetic and Validity. Theory, Implementation, and Applications","author":"UW Kulisch","year":"2008","unstructured":"Kulisch, U.W.: Computer Arithmetic and Validity. Theory, Implementation, and Applications. Studies in Mathematics, vol. 33. de Gruyter, Berlin (2008)"},{"key":"44_CR12","unstructured":"Lohner, R.: Einschlie\u00dfung der L\u00f6sung gew\u00f6hnlicher Anfangs- und Randwertaufgaben und Anwendugen. Ph.D. thesis, Universit\u00e4t Karlsruhe (1988)"},{"key":"44_CR13","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/978-3-7091-6282-8_12","volume-title":"Perspectives on Enclosure Methods","author":"R Lohner","year":"2001","unstructured":"Lohner, R.: On the ubiquity of the wrapping effect in the computation of error bounds. In: Kulisch, U., Lohner, R., Facius, A. (eds.) Perspectives on Enclosure Methods, pp. 201\u2013217. Springer, New York (2001)"},{"key":"44_CR14","first-page":"63","volume-title":"Computational Differentiation: Techniques, Applications and Tools","author":"K Makino","year":"1996","unstructured":"Makino, K., Berz, M.: Remainder differential algebras and their applications. In: Berz, M., Bischof, C., Corliss, G., Griewank, A. (eds.) Computational Differentiation: Techniques, Applications and Tools, pp. 63\u201374. SIAM, Philadelphia (1996)"},{"key":"44_CR15","unstructured":"Makino, K., Berz, M.: Suppression of the wrapping effect by Taylor model-based validated integrators. Technical report MSU report MSUHEP 40910, Michigan State University (2004)"},{"key":"44_CR16","first-page":"103","volume-title":"Error in Digital Computation","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 to ordinary differential equation. In: Rall, L.B. (ed.) Error in Digital Computation, vol. 2, pp. 103\u2013140. Wiley, Hoboken (1965)"},{"key":"44_CR17","volume-title":"Interval Analysis","author":"RE Moore","year":"1966","unstructured":"Moore, R.E.: Interval Analysis. Prentice Hall, Englewood Cliffs (1966)"},{"key":"44_CR18","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898717716","volume-title":"Introduction to Interval Analysis","author":"RE Moore","year":"2009","unstructured":"Moore, R.E., Kearfott, R.B., Cloud, M.J.: Introduction to Interval Analysis. SIAM Press, Philadelphia (2009)"},{"key":"44_CR19","volume-title":"Interval Methods for Systems of Equations","author":"A Neumaier","year":"1990","unstructured":"Neumaier, A.: Interval Methods for Systems of Equations. Cambridge University Press, Cambridge (1990)"},{"key":"44_CR20","series-title":"Computing Supplementum","doi-asserted-by":"publisher","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 confedence regions. In: Albrecht, R., Alefeld, G., Stetter, H.J. (eds.) Validation Numerics. Computing Supplementum, vol. 9, pp. 175\u2013190. Springer, Heidelberg (1993)"},{"key":"44_CR21","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1023\/A:1023061927787","volume":"9","author":"A Neumaier","year":"2002","unstructured":"Neumaier, A.: Taylor forms - use and limits. Reliable Comput. 9, 43\u201379 (2002)","journal-title":"Reliable Comput."},{"key":"44_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/3-540-16437-5_12","volume-title":"Interval Mathematics 1985","author":"K Nickel","year":"1985","unstructured":"Nickel, K.: How to fight the wrapping effect. In: Nickel, K. (ed.) Interval Mathematics 1985. LNCS, vol. 212, pp. 121\u2013132. Springer, Heidelberg (1985)"},{"key":"44_CR23","volume-title":"Numerical recipes, the art of scientific computing","author":"WH Press","year":"2007","unstructured":"Press, W.H., Teukolsky, S.A., Vetterling, W.T., Flannery, B.P.: Numerical recipes, the art of scientific computing, 3rd edn. Cambridge University Press, Cambridge (2007)","edition":"3"},{"key":"44_CR24","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1017\/S096249291000005X","volume":"19","author":"SM Rump","year":"2010","unstructured":"Rump, S.M.: Verification methods: rigorous results using floating-point arithmetic. Acta Numerica 19, 287\u2013449 (2010)","journal-title":"Acta Numerica"},{"key":"44_CR25","unstructured":"Sedoglavic, A.: M\u00e9thodes seminum\u00e9riques en alg\u00e8bre diff\u00e9rentielle; applications \u00e0 l\u2019\u00e9tude des propri\u00e9t\u00e9s structurelles de syst\u00e8mes diff\u00e9rentiels alg\u00e9briques en automatique. Ph.D. thesis, \u00c9cole polytechnique (2001)"},{"issue":"42","key":"44_CR26","first-page":"230","volume":"2","author":"A Turing","year":"1936","unstructured":"Turing, A.: On computable numbers, with an application to the Entscheidungsproblem. Proc. London Maths. Soc. 2(42), 230\u2013265 (1936)","journal-title":"Proc. London Maths. Soc."},{"key":"44_CR27","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-56999-9","volume-title":"Computable Analysis","author":"K Weihrauch","year":"2000","unstructured":"Weihrauch, K.: Computable Analysis. Springer, Heidelberg (2000)"}],"container-title":["Lecture Notes in Computer Science","Mathematical Aspects of Computer and Information Sciences"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-32859-1_44","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,10,11]],"date-time":"2018-10-11T08:27:28Z","timestamp":1539246448000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-32859-1_44"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319328584","9783319328591"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-32859-1_44","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}