{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T06:00:01Z","timestamp":1725688801473},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,6]]},"DOI":"10.1109\/arith.2009.18","type":"proceedings-article","created":{"date-parts":[[2009,8,28]],"date-time":"2009-08-28T14:37:39Z","timestamp":1251470259000},"page":"169-176","source":"Crossref","is-referenced-by-count":8,"title":["Certified and Fast Computation of Supremum Norms of Approximation Errors"],"prefix":"10.1109","author":[{"given":"Sylvain","family":"Chevillard","sequence":"first","affiliation":[]},{"given":"Mioara","family":"Joldes","sequence":"additional","affiliation":[]},{"given":"Christoph","family":"Lauter","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1016\/j.cam.2003.08.015"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1023\/B:NUMA.0000005354.92791.41"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1016\/j.cam.2003.08.015"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611970906"},{"key":"16","doi-asserted-by":"crossref","DOI":"10.1090\/S0002-9947-02-03013-1","article-title":"acetaf: a software package for computing validated bounds for taylor coefficients of analytic functions","author":"neher","year":"2003","journal-title":"ACM Trans on Math Software"},{"key":"13","first-page":"93","article-title":"floating-point arithmetic in the coq system","author":"melquiond","year":"2008","journal-title":"Proc of the 8th Conference on Real Numbers and Computers"},{"journal-title":"M?ethodes D'optimisation globale bas?ees sur l'analyse d'intervalle pour la r?esolution de probl?emes avec contraintes","year":"1997","author":"messine","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-39901-8_2"},{"key":"12","first-page":"111","article-title":"worst cases for correct rounding of the elementary functions in double precision","author":"lef?evre","year":"2001","journal-title":"In Proc of the 15th IEEE Symp on Comp Arithmetic"},{"key":"21","first-page":"408","article-title":"formal global optimization with taylor models","author":"zumkeller","year":"2008","journal-title":"Proc Of the 4th International Joint Conference on Automated Reasoning"},{"journal-title":"Lectures in Real Geometry volume 23 of Expositions in Mathematics","first-page":"1","year":"1996","key":"3"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1007\/s11786-007-0006-6"},{"journal-title":"Algorithms for Minimization Without Derivatives","year":"1973","author":"brent","key":"2"},{"key":"1","article-title":"tadiff, a flexible c++ package for automatic differentiation using taylor series","author":"bendsten","year":"0","journal-title":"Technical Report 1997-x5-94 Technical University of Denmark"},{"journal-title":"IEEE Std 754TM-2008","article-title":"ieee standard for floating-point arithmetic","year":"0","key":"10"},{"journal-title":"Global Optimization using Interval Analysis","year":"1992","author":"hansen","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ARITH.2005.25"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2007.4385491"},{"journal-title":"Introduction to Approximation Theory","year":"1966","author":"cheney","key":"4"},{"key":"9","article-title":"fllib, eine schnelle und portable funktionsbibliothek fur reelle argumente und reelle intervalle im ieee-double-format","author":"hofschuster","year":"1998","journal-title":"Technical Report 98\/7 Universita?t Karlsruhe"},{"key":"8","first-page":"102","article-title":"verifying nonlinear real formulas via sums of squares","author":"harrison","year":"2007","journal-title":"Proc of the 20th International Conference on Theorem Proving in Higher Order Logics TPHOLs 2007"}],"event":{"name":"2009 IEEE 19th IEEE Symposium on Computer Arithmetic (ARITH)","start":{"date-parts":[[2009,6,8]]},"location":"Portland, OR, USA","end":{"date-parts":[[2009,6,10]]}},"container-title":["2009 19th IEEE Symposium on Computer Arithmetic"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5223291\/5223292\/05223336.pdf?arnumber=5223336","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T23:16:20Z","timestamp":1497827780000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5223336\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,6]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/arith.2009.18","relation":{},"subject":[],"published":{"date-parts":[[2009,6]]}}}