{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T12:53:50Z","timestamp":1743080030964,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"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_6","type":"book-chapter","created":{"date-parts":[[2009,4,27]],"date-time":"2009-04-27T04:41:57Z","timestamp":1240807317000},"page":"103-116","source":"Crossref","is-referenced-by-count":0,"title":["Extending the Range of C-XSC: Some Tools and Applications for the Use in Parallel and Other Environments"],"prefix":"10.1007","author":[{"given":"Markus","family":"Grimmer","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"6_CR1","unstructured":"C-XSC: C-XSC Download, \n                    \n                      http:\/\/www.math.uni-wuppertal.de\/wrswt\/xsc\/cxsc_new.html"},{"key":"6_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/978-3-540-24738-8_2","volume-title":"Numerical Software with Result Verification","author":"W. Hofschuster","year":"2004","unstructured":"Hofschuster, W., Kr\u00e4mer, W.: C-XSC 2.0 \u2013 a C++ class library for extended scientific computing. In: Alt, R., Frommer, A., Kearfott, B., Luther, W. (eds.) Numerical Software with Result Verification (Dagstuhl Seminar 2003). LNCS, vol.\u00a02991, pp. 15\u201335. Springer, Heidelberg (2004)"},{"key":"6_CR3","volume-title":"C++ Toolbox for Verified Computing: Basic Numerical Problems","author":"R. Hammer","year":"1995","unstructured":"Hammer, R., Hocks, M., Kulisch, U., Ratz, D.: C++ Toolbox for Verified Computing: Basic Numerical Problems. Springer, Heidelberg (1995)"},{"key":"6_CR4","unstructured":"Blomquist, F., Hofschuster, W., Kr\u00e4mer, W.: Real and complex Taylor Arithmetic in C-XSC. Preprint BUW-WRSWT 2005\/4, University of Wuppertal (2005), \n                    \n                      http:\/\/www.math.uni-wuppertal.de\/wrswt\/literatur\/lit_wrswt.html"},{"key":"6_CR5","unstructured":"Br\u00e4uer, M.C.: Berechnungsmethoden f\u00fcr Ableitungen und Steigungen und deren Realisierung in C-XSC. Master\u2019s thesis, University of Karlsruhe (1999)"},{"key":"6_CR6","unstructured":"El-Owny, H.: Verified Solution of Parametric Interval Linear Systems. Ph.D thesis, University of Wuppertal (2007)"},{"key":"6_CR7","unstructured":"Blomquist, F., Hofschuster, W., Kr\u00e4mer, W.: Real and Complex Staggered (Interval) Arithmetics with Wide Exponent Range (in German). Preprint BUW-WRSWT 2008\/1, University of Wuppertal (2008), \n                    \n                      http:\/\/www.math.uni-wuppertal.de\/wrswt\/literatur\/lit_wrswt.html"},{"key":"6_CR8","unstructured":"Message Passing Interface Forum: MPI: A message passing interface standard. Library specification, University of Tennessee (1993-1995)"},{"key":"6_CR9","unstructured":"ALiCEnext: Alicenext information, \n                    \n                      http:\/\/www.alicenext.uni-wuppertal.de"},{"key":"6_CR10","unstructured":"H\u00f6lbig, C., Kr\u00e4mer, W.: Selfverifying solvers for dense systems of linear equations realized in C-XSC. Preprint BUW-WRSWT 2003\/1, University of Wuppertal (2003), \n                    \n                      http:\/\/www.math.uni-wuppertal.de\/wrswt\/literatur\/lit_wrswt.html"},{"key":"6_CR11","unstructured":"Rump, S.: Kleine Fehlerschranken bei Matrixproblemen. Ph.D thesis, University of Karlsruhe (1980)"},{"key":"6_CR12","unstructured":"Grimmer, M.: Selbstverifizierende mathematische Softwarewerkzeuge im High Performance Computing. Ph.D thesis, University of Wuppertal (2007)"},{"key":"6_CR13","unstructured":"Zimmer, M.: Laufzeiteffiziente, parallele L\u00f6ser f\u00fcr lineare Intervallgleichungssysteme in C-XSC. Master\u2019s thesis, University of Wuppertal (2007)"},{"issue":"6","key":"6_CR14","doi-asserted-by":"publisher","first-page":"1955","DOI":"10.1137\/030601818","volume":"26","author":"T. Ogita","year":"2005","unstructured":"Ogita, T., Rump, S., Oishi, S.: Accurate sum and dot product. SIAM Journal on Scientific Computing\u00a026(6), 1955\u20131988 (2005)","journal-title":"SIAM Journal on Scientific Computing"},{"key":"6_CR15","volume-title":"Funktionalanalysis","author":"H. Heuser","year":"1975","unstructured":"Heuser, H.: Funktionalanalysis. Teubner, Stuttgart (1975)"},{"key":"6_CR16","unstructured":"Klein, W.: Zur Einschlie\u00dfung der L\u00f6sung von linearen und nichtlinearen Fredholmschen Integralgleichungssystemen zweiter Art. Ph.D thesis, University of Karlsruhe (1990)"},{"key":"6_CR17","volume-title":"Scientific computing with automatic result verification","author":"W. Klein","year":"1993","unstructured":"Klein, W.: Enclosure methods for linear and nonlinear systems of Fredholm integral equations of the second kind. In: Adams, E., Kulisch, U. (eds.) Scientific computing with automatic result verification, Boston. Academic Press, London (1993)"},{"issue":"1","key":"6_CR18","doi-asserted-by":"publisher","first-page":"442","DOI":"10.1002\/pamm.200310205","volume":"2","author":"M. Grimmer","year":"2003","unstructured":"Grimmer, M.: Interval Arithmetic in Maple with intpakX. PAMM - Proceedings in Applied Mathematics and Mechanics\u00a02(1), 442\u2013443 (2003)","journal-title":"PAMM - Proceedings in Applied Mathematics and Mechanics"},{"key":"6_CR19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-97146-4","volume-title":"Linear Integral Equations","author":"R. Kress","year":"1989","unstructured":"Kress, R.: Linear Integral Equations. Springer, Heidelberg (1989)"}],"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_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,7]],"date-time":"2019-03-07T18:23:48Z","timestamp":1551983028000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-01591-5_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642015908","9783642015915"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-01591-5_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}