{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T22:09:33Z","timestamp":1725574173440},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540219460"},{"type":"electronic","value":"9783540246695"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-24669-5_38","type":"book-chapter","created":{"date-parts":[[2011,1,7]],"date-time":"2011-01-07T17:40:58Z","timestamp":1294422058000},"page":"292-297","source":"Crossref","is-referenced-by-count":4,"title":["Selfverifying Solvers for Linear Systems of Equations in C-XSC"],"prefix":"10.1007","author":[{"given":"Carlos Amaral","family":"H\u00f6lbig","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paulo S\u00e9rgio Morandi","family":"J\u00fanior","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernardo Frederes Kr\u00e4mer","family":"Alcalde","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tiaraj\u00fa Asmuz","family":"Diverio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"38_CR1","series-title":"Computing Supplementum","volume-title":"Validation Numerics \u2013 Theory and Applications","year":"1993","unstructured":"Albrecht, R., Alefeld, G., Stetter, H.J. (eds.): Validation Numerics \u2013 Theory and Applications. Computing Supplementum, vol.\u00a09. Springer, Heidelberg (1993)"},{"key":"38_CR2","unstructured":"American National Standards Institute \/ Institute of Electrical and Electronics Engineers: A Standard for Binary Floating-Point Arithmetic. ANSI\/IEEE Std. 754- 1985, New York (1985)"},{"key":"38_CR3","volume-title":"C-XSC Toolbox for Verified Computing I: basic numerical problems","author":"R. Hammer","year":"1995","unstructured":"Hammer, R., Hocks, M., Kulisch, U., Ratz, D.: C-XSC Toolbox for Verified Computing I: basic numerical problems. Springer, Berlin (1995)"},{"key":"38_CR4","unstructured":"Hofschuster, W., Kr\u00e4mer, W., Wedner, S., Wiethoff, A.: C-XSC 2.0: A C++ Class Library for Extended Scientific Computing. Universit\u00e4t Wuppertal, Preprint BUGHW - WRSWT 2001\/1 (2001)"},{"key":"38_CR5","unstructured":"H\u00f6lbig, C.A., Diverio, T.A., Claudio, D.M., Kr\u00e4mer, W., Bohlender, G.: Automatic Result Verification in the Environment of High Performance Computing. In: IMACS\/GAMM International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, Paris. Extended abstracts, pp. 54\u201355."},{"key":"38_CR6","doi-asserted-by":"crossref","unstructured":"Kr\u00e4mer, W., Kulisch, U., Lohner, R.: Numerical Toolbox for Verified Computing II \u2013 Advanced Numerical Problems. University of Karlsruhe (1994), see http:\/\/www.uni-karlsruhe.de\/~Rudolf.Lohner\/papers\/tb2.ps.gz","DOI":"10.1007\/978-3-642-78423-1"},{"key":"38_CR7","doi-asserted-by":"crossref","unstructured":"Rump, S.M.: Validated Solution of Large Linear Systems. In [1], pp. 191\u2013212 (1993)","DOI":"10.1007\/978-3-7091-6918-6_15"},{"key":"38_CR8","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-5592-3","volume-title":"Introduction to Numerical Analysis","author":"J. Stoer","year":"1980","unstructured":"Stoer, J., Bulirsch, R.: Introduction to Numerical Analysis. Springer, New York (1980)"}],"container-title":["Lecture Notes in Computer Science","Parallel Processing and Applied Mathematics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-24669-5_38.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,17]],"date-time":"2021-11-17T02:46:22Z","timestamp":1637117182000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-24669-5_38"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540219460","9783540246695"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-24669-5_38","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}