{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T05:55:16Z","timestamp":1743054916128,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642551949"},{"type":"electronic","value":"9783642551956"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-642-55195-6_55","type":"book-chapter","created":{"date-parts":[[2014,5,7]],"date-time":"2014-05-07T14:55:32Z","timestamp":1399474532000},"page":"582-590","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Finding Enclosures for Linear Systems Using Interval Matrix Multiplication in CUDA"],"prefix":"10.1007","author":[{"given":"Alexander","family":"Dallmann","sequence":"first","affiliation":[]},{"given":"Philip-Daniel","family":"Beck","sequence":"additional","affiliation":[]},{"given":"J\u00fcrgen Wolff","family":"von Gudenberg","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,5,8]]},"reference":[{"key":"55_CR1","doi-asserted-by":"crossref","unstructured":"Fujimoto, N.: Economical two-fold working precision matrix multiplication on consumer-level CUDA GPUs. In: 2011 Second Workshop on Architecture and Multi-Core Applications (WAMCA), pp. 24\u201329 (2011)","DOI":"10.1109\/WAMCA.2011.18"},{"key":"55_CR2","volume-title":"C++ Toolbox for Verified Computing","author":"R Hammer","year":"1995","unstructured":"Hammer, R.: C++ Toolbox for Verified Computing. Springer, Heidelberg (1995)"},{"key":"55_CR3","doi-asserted-by":"crossref","unstructured":"Cui, X., Chen, Y., Mei, H.: Improving Performance of Matrix Multiplication and FFT on GPU. In: 2009 15th International Conference on Parallel and Distributed Systems (ICPADS), pp. 42\u201348 (2009)","DOI":"10.1109\/ICPADS.2009.8"},{"key":"55_CR4","series-title":"LNCS","first-page":"454","volume-title":"PARA","author":"P-D Beck","year":"2013","unstructured":"Beck, P.-D., Nehmeier, M.: Parallel interval newton method on CUDA. In: Manninen, P., \u00d6ster, P. (eds.) PARA. LNCS, vol. 7782, pp. 454\u2013464. Springer, Heidelberg (2013)"},{"key":"55_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-0249-6","volume-title":"Applied Interval Analysis","author":"L Jaulin","year":"2001","unstructured":"Jaulin, L., Kieffer, M., Didrit, O., Walter, E.: Applied Interval Analysis. Springer, London (2001)"},{"key":"55_CR6","series-title":"Computer science and applied mathematics","volume-title":"Introduction to Interval Computations","author":"G Alefeld","year":"1983","unstructured":"Alefeld, G., Herzberger, J.: Introduction to Interval Computations. Computer science and applied mathematics. Academic Press, New York (1983)"},{"key":"55_CR7","unstructured":"Rump, S.M.: Kleine Fehlerschranken bei Matrixproblemen. (Universit\u00e4t Karlsruhe 1980)"},{"key":"55_CR8","unstructured":"NVIDIA Corporation: Parallel Thread Execution ISA (Version 3.1). http:\/\/docs.nvidia.com\/cuda\/pdf\/ptx_isa_3.1.pdf"},{"key":"55_CR9","unstructured":"NVIDIA Corporation: NVIDIA CUDA C Programming Guide (Version 5.0). http:\/\/docs.nvidia.com\/cuda\/cuda-c-programming-guide\/index.html"},{"key":"55_CR10","unstructured":"IEEE 754\u20132008: IEEE Standard for Floating-Point Arithmetic (2008)"},{"issue":"6","key":"55_CR11","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 J. Sci. Comput. 26(6), 1955\u20131988 (2005)","journal-title":"SIAM J. Sci. Comput."}],"container-title":["Lecture Notes in Computer Science","Parallel Processing and Applied Mathematics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-55195-6_55","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,28]],"date-time":"2023-01-28T07:42:41Z","timestamp":1674891761000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-55195-6_55"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783642551949","9783642551956"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-55195-6_55","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"8 May 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}