{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T22:32:15Z","timestamp":1743028335531,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642015908"},{"type":"electronic","value":"9783642015915"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-01591-5_1","type":"book-chapter","created":{"date-parts":[[2009,4,27]],"date-time":"2009-04-27T04:41:57Z","timestamp":1240807317000},"page":"1-6","source":"Crossref","is-referenced-by-count":1,"title":["Discussions on an Interval Arithmetic Standard at Dagstuhl Seminar 08021"],"prefix":"10.1007","author":[{"given":"R. Baker","family":"Kearfott","sequence":"first","affiliation":[]},{"given":"John","family":"Pryce","sequence":"additional","affiliation":[]},{"given":"Nathalie","family":"Revol","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Kirchner, R., Kulisch, U.W.: Hardware support for interval arithmetic. Reliable Computing, 225\u2013237 (2006)","DOI":"10.1007\/s11155-006-7220-9"},{"key":"1_CR2","volume-title":"C\u2013XSC: A C++ Class Library for Extended Scientific Computation","author":"R. Klatte","year":"1993","unstructured":"Klatte, R., Kulisch, U., Lawo, C., Rauch, M., Wiethoff, A.: C\u2013XSC: A C++ Class Library for Extended Scientific Computation. Springer, Berlin (1993)"},{"issue":"3\u20134","key":"1_CR3","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/BF02307379","volume":"53","author":"O. Kn\u00fcppel","year":"1994","unstructured":"Kn\u00fcppel, O.: PROFIL\/BIAS \u2013 A fast interval library. Computing\u00a053(3\u20134), 277\u2013287 (1994)","journal-title":"Computing"},{"key":"1_CR4","unstructured":"Kn\u00fcppel, O.: PROFIL\/BIAS v 2.0. Bericht 99.1, Technische Universit\u00e4t Hamburg-Harburg, Harburg, Germany (February 1999), \n                    \n                      http:\/\/www.ti3.tu-harburg.de\/profil_e"},{"key":"1_CR5","series-title":"De Gruyter Studies in Mathematics","doi-asserted-by":"publisher","DOI":"10.1515\/9783110203196","volume-title":"Computer Arithmetic and Validity \u2014 Theory, Implementation, and Applications","author":"U. Kulisch","year":"2008","unstructured":"Kulisch, U.: Computer Arithmetic and Validity \u2014 Theory, Implementation, and Applications. De Gruyter Studies in Mathematics, vol.\u00a033. Walter de Gruyter, Berlin (2008)"},{"key":"1_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/978-3-642-01591-5_2","volume-title":"Numerical Validation in Current Hardware Architectures (Dagstuhl Seminar 2008)","author":"U. Kulisch","year":"2009","unstructured":"Kulisch, U.: Complete Interval Arithmetic and its Implementation on the Computer. In: Cuyt, A., et al. (eds.) Numerical Validation in Current Hardware Architectures (Dagstuhl Seminar 2008). LNCS, vol.\u00a05492, pp. 7\u201326. Springer, Heidelberg (2009)"},{"key":"1_CR7","unstructured":"Lerch, M., Tischler, G., von Gudenberg, J.W.: filib\u2014interval library specification and reference manual. Technical Report 279, Universit\u00e4t W\u00fcrzburg, Germany (2001), \n                    \n                      http:\/\/www.math.uni-wuppertal.de\/~xsc\/software\/filib.html"},{"issue":"2","key":"1_CR8","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1145\/1141885.1141893","volume":"32","author":"M. Lerch","year":"2006","unstructured":"Lerch, M., Tischler, G., von Gudenberg, J.W., Hofschuster, W., Kr\u00e4mer, W.: filib++, a fast interval library supporting containment computations. ACM Transactions on Mathematical Software\u00a032(2), 299\u2013324 (2006)","journal-title":"ACM Transactions on Mathematical Software"},{"key":"1_CR9","unstructured":"Melquiond, G., Pion, S., Br\u00f6nnimann, H.: Boost interval arithmetic library (2006), \n                    \n                      http:\/\/www.boost.org\/doc\/libs\/1_37_0\/libs\/numeric\/interval\/doc\/interval.htm"},{"issue":"3","key":"1_CR10","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/s00607-006-0180-4","volume":"78","author":"J.D. Pryce","year":"2006","unstructured":"Pryce, J.D., Corliss, G.F.: Interval arithmetic with containment sets. Computing\u00a078(3), 251\u2013276 (2006)","journal-title":"Computing"},{"key":"1_CR11","series-title":"Reliable Computing","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-94-017-1247-7_7","volume-title":"Developments in Reliable Computing: Papers presented at the International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, SCAN 1998, in Szeged, Hungary","author":"S.M. Rump","year":"1999","unstructured":"Rump, S.M.: INTLAB\u2013INTerval LABoratory. In: Csendes, T. (ed.) Developments in Reliable Computing: Papers presented at the International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics, SCAN 1998, in Szeged, Hungary. Reliable Computing, vol.\u00a05(3), pp. 77\u2013104. Kluwer Academic Publishers, Dordrecht (1999), \n                    \n                      http:\/\/www.ti3.tu-harburg.de\/rump\/intlab\/"},{"key":"1_CR12","unstructured":"Sun Microsystems. Interval arithmetic in the Forte[tm] C++ compiler (2000), \n                    \n                      http:\/\/www.sun.com\/forte\/cplusplus\/interval\/"}],"container-title":["Lecture Notes in Computer Science","Numerical Validation in Current Hardware Architectures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-01591-5_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,7]],"date-time":"2019-03-07T18:25:05Z","timestamp":1551983105000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-01591-5_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642015908","9783642015915"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-01591-5_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}