{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T06:33:23Z","timestamp":1729665203938,"version":"3.28.0"},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/arith.2005.25","type":"proceedings-article","created":{"date-parts":[[2005,7,27]],"date-time":"2005-07-27T17:52:28Z","timestamp":1122486748000},"page":"188-195","source":"Crossref","is-referenced-by-count":20,"title":["Guaranteed Proofs Using Interval Arithmetic"],"prefix":"10.1109","author":[{"given":"M.","family":"Daumas","sequence":"first","affiliation":[]},{"given":"G.","family":"Melquiond","sequence":"additional","affiliation":[]},{"given":"C.","family":"Munoz","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"The Art of Computer Programming Seminu-merical Algorithms","year":"1997","author":"knuth","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.2307\/2974556"},{"journal-title":"Ariane 5 flight 501 failure report by the inquiry board Technical report","year":"1996","author":"lions","key":"ref12"},{"key":"ref13","first-page":"379","article-title":"Taylor models and other validated functional inclusion methods","volume":"4","author":"makino","year":"2003","journal-title":"International Journal of Pure and Applied Mathematics"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1007\/s10009-002-0084-3","article-title":"Formal verification of conflict detection algorithms","volume":"4","author":"mu\u00f1oz","year":"2003","journal-title":"International Journal on Software Tools for Technology Transfer"},{"journal-title":"Interval Methods for Systems of Equations","year":"1990","author":"neumaier","key":"ref15"},{"key":"ref16","first-page":"748","article-title":"PVS: A Prototype Verification System","author":"owre","year":"1992","journal-title":"11th International Conference on Automated Deduction (CADE) volume 607 of Lecture Notes in Artificial Intelligence"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2004.07.008"},{"journal-title":"The Chebychev Polynomials","year":"1990","author":"rivlin","key":"ref18"},{"key":"ref19","first-page":"31","article-title":"Formal verification of divide and square root algorithms using series calculation","author":"sawada","year":"2002","journal-title":"3rd International Workshop on the ACL2 Theorem Prover and its Applications"},{"key":"ref4","first-page":"32","article-title":"We did nothing wrong","volume":"1","author":"gage","year":"2004","journal-title":"Base-line"},{"key":"ref3","article-title":"Tactical conflict detection and resolution in a 3-D airspace","author":"dowek","year":"2001","journal-title":"A long version appears as report NASA\/CR-2001-210853 ICASE Report No 2001-7"},{"journal-title":"Floating point verification in HOL light the exponential function Technical Report 428","year":"1997","author":"harrison","key":"ref6"},{"journal-title":"GNU Multiple Precision Arithmetic Library Version 4 2 1","year":"2004","author":"granlund","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0249-6"},{"journal-title":"Patriot missile defense software problem led to system failure at Dhahran Saudi Arabia Report B-247094","year":"1992","key":"ref7"},{"key":"ref2","article-title":"Generating formally certified bounds on values and round-off errors","author":"daumas","year":"2004","journal-title":"Real Numbers and Computers"},{"key":"ref1","first-page":"65","article-title":"The Boost interval arithmetic library","author":"br\u00f6nnimann","year":"2003","journal-title":"Real Numbers and Computers"},{"key":"ref9","first-page":"95","article-title":"Interval computations: Introduction, uses, and resources","volume":"2","author":"kearfott","year":"1996","journal-title":"Euromath Bulletin"},{"journal-title":"Sun Grid Engine - Administration and User's guide","year":"2002","key":"ref20"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805818"}],"event":{"name":"17th IEEE Symposium on Computer Arithmetic (ARITH'05)","location":"Cape Cod, MA, USA"},"container-title":["17th IEEE Symposium on Computer Arithmetic (ARITH'05)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9902\/31474\/01467639.pdf?arnumber=1467639","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T21:35:50Z","timestamp":1497648950000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1467639\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/arith.2005.25","relation":{},"subject":[]}}