{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T18:10:40Z","timestamp":1729620640951,"version":"3.28.0"},"reference-count":34,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,10]]},"DOI":"10.1109\/bmei.2011.6098697","type":"proceedings-article","created":{"date-parts":[[2011,12,16]],"date-time":"2011-12-16T18:29:51Z","timestamp":1324060191000},"page":"2130-2134","source":"Crossref","is-referenced-by-count":0,"title":["C-XSC: A powerful environment for reliable computations in the natural and engineering sciences"],"prefix":"10.1109","author":[{"given":"Walter","family":"Kramer","sequence":"first","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01591-5_15"},{"journal-title":"C--XSC A C++ Class Library for Extended Scientific Computing","year":"1993","author":"klatte","key":"17"},{"journal-title":"Numerical Toolbox for Verified Computing II - Advanced Numerical Problems (draft)","year":"1998","author":"kra?mer","key":"18"},{"journal-title":"Laufzeiteffiziente Parallele Lo?ser fu?r Lineare Intervallgleichungssysteme in C-XSC","year":"2007","author":"zimmer","key":"33"},{"key":"15","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1007\/978-3-540-24738-8_2","article-title":"C-XSC 2.0: A C++ library for extended scientific computing","volume":"2991","author":"hofschuster","year":"2004","journal-title":"Numerical Software with Result Verification Lecture Notes in Computer Science"},{"journal-title":"C-XSC Website","year":"0","key":"34"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0249-6"},{"key":"13","first-page":"111","article-title":"An MPI extension for the use of C-XSC in parallel environments","author":"grimmer","year":"2007","journal-title":"Int Conf on Scientific Computing (CSC'07 Worldcomp'07)"},{"journal-title":"C++ Toolbox for Verified Computing Basic Numerical Problems","year":"1995","author":"hammer","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-2789(97)00233-9"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24738-8_4"},{"key":"21","first-page":"301","author":"lohner","year":"1993","journal-title":"Interval Arithmetic in Staggered Correction Format"},{"key":"20","doi-asserted-by":"crossref","DOI":"10.1515\/9783110203196","author":"kulisch","year":"2008","journal-title":"Computer Arithmetic and Validity - Theory Implementation and Applications"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1038\/261459a0"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011411307404"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1145\/1206040.1206042"},{"journal-title":"Interval Methods for Systems of Equations","year":"1990","author":"neumaier","key":"25"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1016\/0167-2789(93)90169-2"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1017\/S0962492904000194"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1016\/j.cam.2005.08.048"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1007\/s11155-005-6891-y"},{"journal-title":"Introduction to Interval Computations","year":"1983","author":"alefeld","key":"3"},{"journal-title":"Scientific Computing with Automatic Result Verification","year":"1993","author":"adams","key":"2"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7091-6282-8_1"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1007\/b96498"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1017\/S096249291000005X"},{"key":"7","first-page":"81","article-title":"High accuracy standard functions for real and complex intervals","author":"braune","year":"1987","journal-title":"Computerarithmetic Scientific Computation and Programming Languages"},{"journal-title":"Integration und Test Einer Langzahlintervallbibliothek in C-XSC","year":"2010","author":"brand","key":"6"},{"journal-title":"Using C-XSC in a Multi-threaded Environment","year":"2011","author":"zimmer","key":"32"},{"journal-title":"C-XSC-langzahlarithmetiken fu?r Reelle und Komplexe Intervalle Basierend Auf Den Bibliotheken MPFR und MPFI","year":"2011","author":"blomquist","key":"5"},{"journal-title":"Verifizierte Bestimmung Singula?rer Integrale - Quadratur und Kubatur","year":"2000","author":"wedner","key":"31"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-01591-5_4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1145\/1236463.1236468"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/838250.838252"}],"event":{"name":"2011 4th International Conference on Biomedical Engineering and Informatics (BMEI)","start":{"date-parts":[[2011,10,15]]},"location":"Shanghai, China","end":{"date-parts":[[2011,10,17]]}},"container-title":["2011 4th International Conference on Biomedical Engineering and Informatics (BMEI)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6093307\/6098424\/06098697.pdf?arnumber=6098697","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,21]],"date-time":"2019-06-21T01:15:53Z","timestamp":1561079753000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6098697\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,10]]},"references-count":34,"URL":"https:\/\/doi.org\/10.1109\/bmei.2011.6098697","relation":{},"subject":[],"published":{"date-parts":[[2011,10]]}}}