{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T11:23:58Z","timestamp":1725881038821},"publisher-location":"Cham","reference-count":7,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319542911"},{"type":"electronic","value":"9783319542928"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-54292-8_4","type":"book-chapter","created":{"date-parts":[[2017,2,16]],"date-time":"2017-02-16T07:12:49Z","timestamp":1487229169000},"page":"47-51","source":"Crossref","is-referenced-by-count":0,"title":["Computing a Correct and Tight Rounding Error Bound Using Rounding-to-Nearest"],"prefix":"10.1007","author":[{"given":"Sylvie","family":"Boldo","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,2,17]]},"reference":[{"unstructured":"Boldo, S.: Deductive formal verification: how to make your floating-point programs behave. Th\u00e8se d\u2019habilitation, Universit\u00e9 Paris-Sud, October 2014","key":"4_CR1"},{"doi-asserted-by":"crossref","unstructured":"Boldo, S., Melquiond, G.: Flocq: a unified library for proving floating-point algorithms in Coq. In: Antelo, E., Hough, D., Ienne, P. (eds.) 20th IEEE Symposium on Computer Arithmetic, T\u00fcbingen, Germany, pp. 243\u2013252 (2011)","key":"4_CR2","DOI":"10.1109\/ARITH.2011.40"},{"issue":"1","key":"4_CR3","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1145\/103162.103163","volume":"23","author":"D Goldberg","year":"1991","unstructured":"Goldberg, D.: What every computer scientist should know about floating-point arithmetic. ACM Comput. Surv. 23(1), 5\u201348 (1991)","journal-title":"ACM Comput. Surv."},{"doi-asserted-by":"crossref","unstructured":"Higham, N.J.: Accuracy and Stability of Numerical Algorithms, 2nd edn. SIAM (2002)","key":"4_CR4","DOI":"10.1137\/1.9780898718027"},{"unstructured":"Microprocessor Standards Committee: IEEE Standard for Floating-Point Arithmetic. IEEE Std. 754-2008, pp. 1\u201358, August 2008","key":"4_CR5"},{"key":"4_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-8176-4705-6","volume-title":"Handbook of Floating-Point Arithmetic","author":"J-M Muller","year":"2010","unstructured":"Muller, J.-M., Brisebarre, N., de Dinechin, F., Jeannerod, C.-P., Lef\u00e8vre, V., Melquiond, G., Revol, N., Stehl\u00e9, D., Torres, S.: Handbook of Floating-Point Arithmetic. Birkh\u00e4user, Boston (2010)"},{"issue":"3","key":"4_CR7","doi-asserted-by":"crossref","first-page":"534","DOI":"10.1023\/A:1022374804152","volume":"39","author":"SM Rump","year":"1999","unstructured":"Rump, S.M.: Fast and parallel interval arithmetic. BIT Numer. Math. 39(3), 534\u2013554 (1999)","journal-title":"BIT Numer. Math."}],"container-title":["Lecture Notes in Computer Science","Numerical Software Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-54292-8_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,25]],"date-time":"2017-06-25T10:40:14Z","timestamp":1498387214000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-54292-8_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319542911","9783319542928"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-54292-8_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}