{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,7]],"date-time":"2025-07-07T07:26:12Z","timestamp":1751873172539,"version":"3.28.0"},"reference-count":34,"publisher":"IEEE Comput. Soc","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/asap.2002.1030720","type":"proceedings-article","created":{"date-parts":[[2003,6,25]],"date-time":"2003-06-25T22:14:31Z","timestamp":1056579271000},"page":"208-217","source":"Crossref","is-referenced-by-count":5,"title":["A combined interval and floating-point comparator\/selector"],"prefix":"10.1109","author":[{"given":"A.","family":"Akkas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"doi-asserted-by":"publisher","key":"ref33","DOI":"10.1109\/ACSSC.1998.750857"},{"doi-asserted-by":"publisher","key":"ref32","DOI":"10.1109\/GLSV.1998.665227"},{"key":"ref31","first-page":"225","article-title":"The IAX Arc hitecture: Interval Arithmetic Extension","author":"kolla","year":"1999","journal-title":"Tech Rep"},{"year":"2001","author":"akkas","journal-title":"Instruction Set Enhancements for Reliable Computations","key":"ref30"},{"year":"1985","key":"ref34"},{"key":"ref10","first-page":"83","article-title":"A New Basis for Spreadsheet Computing","volume":"21","author":"hyvonen","year":"2000","journal-title":"AI Magazine"},{"key":"ref11","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-3440-8","author":"kearfott","year":"1996","journal-title":"Applications of interval computations An introduction"},{"year":"1988","author":"moore","journal-title":"Reliability in Computing The Role of Interval Methods in Scientific Computations","key":"ref12"},{"year":"1983","author":"alefeld","journal-title":"Introduction to Interval Computations","key":"ref13"},{"doi-asserted-by":"publisher","key":"ref14","DOI":"10.1016\/B978-0-12-708245-5.50010-5"},{"year":"0","author":"walster","article-title":"In terval Arithmetic: The New Floating-Point Arithmetic Paradigm","key":"ref15"},{"key":"ref16","first-page":"96","article-title":"A Portable FORTRAN 77 Elementary Function Library","volume":"3","author":"kearfott","year":"1992","journal-title":"Interval Computations"},{"doi-asserted-by":"publisher","key":"ref17","DOI":"10.1145\/198429.198433"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1007\/BF02307379"},{"key":"ref19","first-page":"85","article-title":"InC++ Library Family for Interval Computations","author":"hyvonen","year":"1995","journal-title":"International Journal of Reliable Computing Supplement to the International Workshop on Applications of Interval Computations"},{"doi-asserted-by":"publisher","key":"ref28","DOI":"10.1109\/12.859535"},{"key":"ref4","volume":"3","author":"kearfott","year":"1992","journal-title":"A Review of Techniques in the Verified Solution of Constrained Gloal Optimization"},{"doi-asserted-by":"publisher","key":"ref27","DOI":"10.1109\/ARITH.1995.465354"},{"year":"1992","author":"hansen","journal-title":"Global Optimization using Interval Analysis","key":"ref3"},{"key":"ref6","first-page":"259","article-title":"Verification of Polynomial Roots by Closed Coupling of Computer Algebra and Self Validating Numerical Methods","author":"schroder","year":"1990","journal-title":"Computer Arithmetic and Self-Validating-Numerical Methods"},{"year":"2001","author":"stine","journal-title":"Design Issues for Accurate and Reliable Arithmetic","key":"ref29"},{"key":"ref5","first-page":"159","article-title":"Standard Functions for Real and Complex Point and Interval Arguments with Dynamic Accuracy","author":"braune","year":"1989","journal-title":"Scientific Computing with Automatic Result Verification"},{"key":"ref8","first-page":"45","article-title":"Enclosing Solutions of Integral Equations","author":"caprani","year":"1995","journal-title":"International Journal of Reliable Computing Supplement to the International Workshop on Applications of Interval Computations"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1016\/B978-0-12-708245-5.50014-2"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1007\/BF01299329"},{"year":"1990","author":"neumaier","journal-title":"Interval Methods for Systems of Equations","key":"ref9"},{"year":"1966","author":"moore","journal-title":"Interval Analysis","key":"ref1"},{"year":"1991","author":"klatte","journal-title":"P ASCAL-XSC Language Reference with Examples","key":"ref20"},{"key":"ref22","first-page":"45","article-title":"ACRITH-XSC: A Fortran-like Language for verified Scientific Computing","author":"valter","year":"1993","journal-title":"Scientific Computing with Automatic Result Verification"},{"year":"1993","author":"klatte","journal-title":"C-XSC a C++ class library for extended scientific computing","key":"ref21"},{"doi-asserted-by":"publisher","key":"ref24","DOI":"10.1023\/A:1009988620481"},{"key":"ref23","first-page":"135","article-title":"The VPI Software Package for available Precision Interval Arithmetic","volume":"2","author":"ely","year":"1993","journal-title":"Interval Computations"},{"key":"ref26","article-title":"In terval Arithmetic Specification","author":"chiriaev","year":"1998","journal-title":"teh rep"},{"year":"0","article-title":"Interval Arithmetic in the Forte[tm] Fortran 95 Compiler","key":"ref25"}],"event":{"acronym":"ASAP-02","name":"IEEE International Conference on Application- Specific Systems, Architectures, and Processors","location":"San Jose, CA, USA"},"container-title":["Proceedings IEEE International Conference on Application- Specific Systems, Architectures, and Processors"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8009\/22137\/01030720.pdf?arnumber=1030720","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,15]],"date-time":"2017-06-15T22:42:48Z","timestamp":1497566568000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1030720\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":34,"URL":"https:\/\/doi.org\/10.1109\/asap.2002.1030720","relation":{},"subject":[]}}