{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T17:28:13Z","timestamp":1743010093321,"version":"3.40.3"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030955601"},{"type":"electronic","value":"9783030955618"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-030-95561-8_11","type":"book-chapter","created":{"date-parts":[[2022,2,21]],"date-time":"2022-02-21T19:04:21Z","timestamp":1645470261000},"page":"182-196","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Modeling Round-Off Errors in\u00a0Hydrodynamic Simulations"],"prefix":"10.1007","author":[{"given":"William","family":"Weens","sequence":"first","affiliation":[]},{"given":"Thibaud","family":"Vazquez-Gonzalez","sequence":"additional","affiliation":[]},{"given":"Louise Ben","family":"Salem-Knapp","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,2,22]]},"reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Ascher, U.M., Greif, C.: A First Course in Numerical Methods. Society for Industrial and Applied Mathematics, USA (2011)","DOI":"10.1137\/9780898719987"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Atkinson, K.E., Han, W., Stewart, D.: Euler\u2019s method, chap. 2, pp. 15\u201336. Wiley, Hoboken (2011)","DOI":"10.1002\/9781118164495.ch2"},{"key":"11_CR3","unstructured":"Boldo, S., Ben Salem-Knapp, L., Weens, W.: Bounding the round-off error of the upwind scheme for advection, submitted"},{"issue":"4","key":"11_CR4","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1007\/s10817-012-9255-4","volume":"50","author":"S Boldo","year":"2013","unstructured":"Boldo, S., Cl\u00e9ment, F., Filli\u00e2tre, J.C., Mayero, M., Melquiond, G., Weis, P.: Wave equation numerical resolution: a comprehensive mechanized proof of a C program. J. Autom. Reason. 50(4), 423\u2013456 (2013). https:\/\/doi.org\/10.1007\/s10817-012-9255-4","journal-title":"J. Autom. Reason."},{"key":"11_CR5","doi-asserted-by":"crossref","unstructured":"Boldo, S., Faissole, F., Chapoutot, A.: Round-off error and exceptional behavior analysis of explicit Runge-Kutta methods. IEEE Trans. Comput. (2019)","DOI":"10.1109\/TC.2019.2917902"},{"key":"11_CR6","unstructured":"Chapoutot, A., Alexandre dit Sandretto, J., Mullier, O.: Validated explicit and implicit Runge-Kutta methods. In: Small Workshop on Interval Methods. Prague, Czech Republic (2015)"},{"key":"11_CR7","unstructured":"Euler, L.: Principes g\u00e9n\u00e9raux du mouvement des fluides. M\u00e9moires de l\u2019Acad\u00e9mie Royale des Sciences et des Belles Lettres de Berlin 11, 274\u2013315 (1755)"},{"key":"11_CR8","volume-title":"Numerical Analysis: An Introduction","author":"W Gautschi","year":"1997","unstructured":"Gautschi, W.: Numerical Analysis: An Introduction. Birkhauser Boston Inc., Cambridge (1997)"},{"key":"11_CR9","unstructured":"Godunov, S.K.: Eine Differenzenmethode f\u00fcr die N\u00e4herungsberechnung unstetiger L\u00f6sungen der hydrodynamischen Gleichungen. Mat. Sb., Nov. Ser. 47, 271\u2013306 (1959)"},{"issue":"11","key":"11_CR10","doi-asserted-by":"publisher","first-page":"3865","DOI":"10.1007\/s00382-015-2809-5","volume":"46","author":"R Harvey","year":"2016","unstructured":"Harvey, R., Verseghy, D.L.: The reliability of single precision computations in the simulation of deep soil heat diffusion in a land surface model. Clim. Dyn. 46(11), 3865\u20133882 (2016). https:\/\/doi.org\/10.1007\/s00382-015-2809-5","journal-title":"Clim. Dyn."},{"key":"11_CR11","unstructured":"Henrici, P.: Error propagation for difference methods. In: The SIAM Series in Applied Mathematics. Wiley, New York (1963)"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Heroux, M.A., et al.: ECP software technology capability assessment report (2020). www.exascaleproject.org","DOI":"10.2172\/1597433"},{"key":"11_CR13","doi-asserted-by":"crossref","unstructured":"Higham, N.J.: 2. Floating point arithmetic, pp. 35\u201360. SIAM (2002)","DOI":"10.1137\/1.9780898718027.ch2"},{"key":"11_CR14","unstructured":"IEEE: IEEE Standard for Floating-Point Arithmetic. Institute of Electrical and Electronics Engineers IEEE Std 754\u20132008, pp. 1\u201370 (2008)"},{"issue":"4","key":"11_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.18564\/jasss.2885","volume":"9","author":"LR Izquierdo","year":"2006","unstructured":"Izquierdo, L.R., Polhill, J.G.: Is your model susceptible to floating-point errors? J. Artif. Soc. Soc. Simul. 9(4), 1\u20134 (2006)","journal-title":"J. Artif. Soc. Soc. Simul."},{"issue":"1","key":"11_CR16","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1145\/363707.363723","volume":"8","author":"W Kahan","year":"1965","unstructured":"Kahan, W.: Pracniques: further remarks on reducing truncation errors. Commun. ACM 8(1), 40 (1965)","journal-title":"Commun. ACM"},{"key":"11_CR17","unstructured":"Knuth, D.E.: The art of computer programming. In: Seminumerical Algorithms, 3rd edn, vol. 2. Addison-Wesley, Boston (1997)"},{"issue":"1","key":"11_CR18","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1002\/cpa.3160070112","volume":"7","author":"PD Lax","year":"1954","unstructured":"Lax, P.D.: Weak solutions of nonlinear hyperbolic equations and their numerical computation. Commun. Pure Appl. Math. 7(1), 159\u2013193 (1954)","journal-title":"Commun. Pure Appl. Math."},{"key":"11_CR19","doi-asserted-by":"crossref","unstructured":"LeVeque, R.J.: Finite volume methods for hyperbolic problems. In: Cambridge Texts in Applied Mathematics, Cambridge University Press (2002)","DOI":"10.1017\/CBO9780511791253"},{"key":"11_CR20","unstructured":"Muller, J.M., et al.: Handbook of Floating-Point Arithmetic, 2nd edn. Birkh\u00e4user Boston (2018). ACM G.1.0; G.1.2; G.4; B.2.0; B.2.4; F.2.1. ISBN 978-3-319-76525-9"},{"key":"11_CR21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-76526-6","volume-title":"Handbook of Floating-point Arithmetic","author":"JM Muller","year":"2018","unstructured":"Muller, J.M., et al.: Handbook of Floating-point Arithmetic, 2nd edn. Birkh\u00e4user, Basel (2018)","edition":"2"},{"key":"11_CR22","unstructured":"Rusanov, V.V.: The calculation of the interaction of non-stationary shock waves with barriers. Zh. Vychisl. Mat. Mat. Fiz, pp. 267\u2013279 (1961)"},{"key":"11_CR23","unstructured":"Alexandre dit Sandretto, J., Chapoutot, A.: Validated simulation of differential algebraic equations. In: Small Workshop on Interval Methods, Prague, Czech Republic (2015)"},{"issue":"1","key":"11_CR24","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0021-9991(78)90023-2","volume":"27","author":"GA Sod","year":"1978","unstructured":"Sod, G.A.: A survey of several finite difference methods for systems of nonlinear hyperbolic conservation laws. J. Comput. Phys. 27(1), 1\u201331 (1978)","journal-title":"J. Comput. Phys."},{"key":"11_CR25","doi-asserted-by":"crossref","unstructured":"Spiegel, S.C., Huynh, H., DeBonis, J.R.: A survey of the isentropic euler vortex problem using high-order methods, chap. 1, p. 1 (2015). https:\/\/arc.aiaa.org\/","DOI":"10.2514\/6.2015-2444"},{"issue":"713","key":"11_CR26","doi-asserted-by":"publisher","first-page":"1179","DOI":"10.1002\/qj.3303","volume":"144","author":"T Thornes","year":"2018","unstructured":"Thornes, T., D\u00fcben, P., Palmer, T.: A power law for reduced precision at small spatial scales: experiments with an SQG model. Q. J. R. Meteorol. Soc. 144(713), 1179\u20131188 (2018)","journal-title":"Q. J. R. Meteorol. Soc."},{"key":"11_CR27","doi-asserted-by":"publisher","DOI":"10.1007\/b79761","volume-title":"Riemann Solvers and Numerical Methods for Fluid Dynamics","author":"EF Toro","year":"2009","unstructured":"Toro, E.F.: Riemann Solvers and Numerical Methods for Fluid Dynamics. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/b79761"},{"issue":"2","key":"11_CR28","doi-asserted-by":"publisher","first-page":"495","DOI":"10.1175\/MWR-D-16-0228.1","volume":"145","author":"F V\u00e1\u0148a","year":"2017","unstructured":"V\u00e1\u0148a, F., et al.: Single precision in weather forecasting models: an evaluation with the IFS. Mon. Weather Rev. 145(2), 495\u2013502 (2017)","journal-title":"Mon. Weather Rev."},{"key":"11_CR29","unstructured":"Weens, W.: Toward a predictive model to monitor the balance between discretization and rounding errors in hydrodynamic simulations. In: SIAM Conference on Parallel Processing for Scientific Computing (2020)"}],"container-title":["Lecture Notes in Computer Science","Software Verification"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-95561-8_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,2,21]],"date-time":"2022-02-21T19:06:06Z","timestamp":1645470366000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-95561-8_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783030955601","9783030955618"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-95561-8_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"22 February 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"NSV","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Numerical Software Verification","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 July 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 July 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"nsv2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/nsv2021.github.io\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"100% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3,7","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"1","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}