{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,16]],"date-time":"2025-04-16T21:42:55Z","timestamp":1744839775013,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"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_14","type":"book-chapter","created":{"date-parts":[[2009,4,27]],"date-time":"2009-04-27T08:41:57Z","timestamp":1240821717000},"page":"217-229","source":"Crossref","is-referenced-by-count":1,"title":["Error-Free Transformation in Rounding Mode toward Zero"],"prefix":"10.1007","author":[{"given":"Stef","family":"Graillat","sequence":"first","affiliation":[]},{"given":"Jean-Luc","family":"Lamotte","sequence":"additional","affiliation":[]},{"given":"Diep Nguyen","family":"Hong","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"#cr-split#-14_CR1.1","unstructured":"IEEE Computer Society: IEEE Standard for Binary Floating-Point Arithmetic, ANSI\/IEEE Standard 754-1985. Institute of Electrical and Electronics Engineers, New York (1985);"},{"key":"#cr-split#-14_CR1.2","doi-asserted-by":"crossref","unstructured":"Reprinted in SIGPLAN Notices 22(2), 9???25 (1987)","DOI":"10.1145\/24900.24902"},{"key":"14_CR2","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1145\/567806.567808","volume":"28","author":"X.S. Li","year":"2002","unstructured":"Li, X.S., Demmel, J.W., Bailey, D.H., Henry, G., Hida, Y., Iskandar, J., Kahan, W., Kang, S.Y., Kapur, A., Martin, M.C., Thompson, B.J., Tung, T., Yoo, D.J.: Design, implementation and testing of extended and mixed precision BLAS. ACM Trans. Math. Softw.\u00a028, 152\u2013205 (2002)","journal-title":"ACM Trans. Math. Softw."},{"key":"14_CR3","doi-asserted-by":"publisher","first-page":"1955","DOI":"10.1137\/030601818","volume":"26","author":"T. Ogita","year":"2005","unstructured":"Ogita, T., Rump, S.M., Oishi, S.: Accurate sum and dot product. SIAM J. Sci. Comput.\u00a026, 1955\u20131988 (2005)","journal-title":"SIAM J. Sci. Comput."},{"key":"14_CR4","unstructured":"Graillat, S., Louvet, N., Langlois, P.: Compensated Horner scheme. Research Report\u00a004, \u00c9quipe de recherche DALI, Laboratoire LP2A, Universit\u00e9 de Perpignan Via Domitia, France, 52 avenue Paul Alduy, 66860 Perpignan cedex, France (2005)"},{"key":"14_CR5","doi-asserted-by":"crossref","unstructured":"Rump, S.M., Ogita, T., Oishi, S.: Accurate floating-point summation part I: Faithful rounding. Technical Report 07.1, Faculty for Information and Communication Sciences, Hamburg University of Technology (2007)","DOI":"10.1137\/050645671"},{"key":"14_CR6","unstructured":"Rump, S.M., Ogita, T., Oishi, S.: Accurate floating-point summation part II: Sign, K-fold faithful and rounding to nearest. Technical Report 07.2, Faculty for Information and Communication Sciences, Hamburg University of Technology (2007)"},{"key":"14_CR7","unstructured":"Priest, D.M.: On Properties of Floating Point Arithmetics: Numerical Stability and the Cost of Accurate Computations. Ph.D thesis, Mathematics Department, University of California, Berkeley, CA, USA (1992), ftp:\/\/ftp.icsi.berkeley.edu\/pub\/theory\/priest-thesis.ps.Z"},{"issue":"4\/5","key":"14_CR8","doi-asserted-by":"publisher","first-page":"589","DOI":"10.1147\/rd.494.0589","volume":"49","author":"J.A. Kahle","year":"2005","unstructured":"Kahle, J.A., Day, M.N., Hofstee, H.P., Johns, C.R., Maeurer, T.R., Shippy, D.: Introduction to the cell multiprocessor. IBM J. Res. Dev.\u00a049(4\/5), 589\u2013604 (2005)","journal-title":"IBM J. Res. Dev."},{"key":"14_CR9","first-page":"9","volume-title":"CF 2006: Proceedings of the 3rd conference on Computing frontiers","author":"S. Williams","year":"2006","unstructured":"Williams, S., Shalf, J., Oliker, L., Kamil, S., Husbands, P., Yelick, K.: The potential of the CELL processor for scientific computing. In: CF 2006: Proceedings of the 3rd conference on Computing frontiers, pp. 9\u201320. ACM Press, New York (2006)"},{"key":"14_CR10","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1007\/BF01397083","volume":"18","author":"T.J. Dekker","year":"1971","unstructured":"Dekker, T.J.: A floating-point technique for extending the available precision. Numer. Math.\u00a018, 224\u2013242 (1971)","journal-title":"Numer. Math."},{"key":"14_CR11","series-title":"Seminumerical Algorithms","volume-title":"The Art of Computer Programming","author":"D.E. Knuth","year":"1998","unstructured":"Knuth, D.E.: The Art of Computer Programming, 3rd edn. Seminumerical Algorithms, vol.\u00a02. Addison-Wesley, Reading (1998)","edition":"3"},{"key":"14_CR12","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1145\/641876.641878","volume":"29","author":"Y. Nievergelt","year":"2003","unstructured":"Nievergelt, Y.: Scalar fused multiply-add instructions produce floating-point matrix arithmetic provably accurate to the penultimate digit. ACM Trans. Math. Software\u00a029, 27\u201348 (2003)","journal-title":"ACM Trans. Math. Software"},{"key":"14_CR13","first-page":"59","volume-title":"ARITH 2005: Proceedings of the 17th IEEE Symposium on Computer Arithmetic, Washington, DC, USA","author":"C. Jacobi","year":"2005","unstructured":"Jacobi, C., Oh, H.J., Tran, K.D., Cottier, S.R., Michael, B.W., Nishikawa, H., Totsuka, Y., Namatame, T., Yano, N.: The vector floating-point unit in a synergistic processor element of a cell processor. In: ARITH 2005: Proceedings of the 17th IEEE Symposium on Computer Arithmetic, Washington, DC, USA, pp. 59\u201367. IEEE Computer Society, Los Alamitos (2005)"}],"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_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,17]],"date-time":"2020-05-17T19:26:54Z","timestamp":1589743614000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-01591-5_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642015908","9783642015915"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-01591-5_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}