{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T04:15:57Z","timestamp":1726028157332},"publisher-location":"Singapore","reference-count":29,"publisher":"Springer Singapore","isbn-type":[{"type":"print","value":"9789811361937"},{"type":"electronic","value":"9789811361944"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-981-13-6194-4_10","type":"book-chapter","created":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T16:07:03Z","timestamp":1557850023000},"page":"191-213","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Techniques Concerning Computation Accuracy"],"prefix":"10.1007","author":[{"given":"Shin\u2019chi","family":"Oishi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yusuke","family":"Morikura","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kouta","family":"Sekine","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hisayasu","family":"Kuroda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maho","family":"Nakata","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,5,15]]},"reference":[{"key":"10_CR1","unstructured":"IEEE Standard for Floating-Point Arithmetic, Std 754\u20132008 (2008)"},{"key":"10_CR2","unstructured":"S. Oishi, Numerical Methods with Guaranteed Accuracy (Corona-sya, 2000, Japanese)"},{"key":"10_CR3","unstructured":"E. Ramon, R. Moore, B. Kearfott, J. Michael, Introduction to Interval Analysis (Society for Industrial and Applied Mathematics, Cloud, 2009)"},{"issue":"4","key":"10_CR4","doi-asserted-by":"publisher","first-page":"755","DOI":"10.1007\/s002110100310","volume":"90","author":"S Oishi","year":"2002","unstructured":"S. Oishi, S.M. Rump, Fast verification of solutions of matrix equations. Numer. Math. 90(4), 755\u2013773 (2002)","journal-title":"Numer. Math."},{"key":"10_CR5","volume-title":"Verified solution of linear systems without directed rounding, Technical Report 2005\u201304","author":"T Ogita","year":"2005","unstructured":"T. Ogita, S.M. Rump, S. Oishi, Verified solution of linear systems without directed rounding, Technical Report 2005\u201304 (Waseda University, Tokyo, Japan, Advanced Research Institute for Science and Engineering, 2005)"},{"key":"10_CR6","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898718027","volume-title":"Accuracy and Stability of Numerical Algorithms","author":"NJ Higham","year":"2002","unstructured":"N.J. Higham, Accuracy and Stability of Numerical Algorithms, 2nd edn. (SIAM Publications, Philadelphia, 2002)","edition":"2"},{"issue":"6","key":"10_CR7","doi-asserted-by":"publisher","first-page":"1955","DOI":"10.1137\/030601818","volume":"26","author":"T Ogita","year":"2005","unstructured":"T. Ogita, S.M. Rump, S. Oishi, Accurate sum and dot product. SIAM J. Sci. Comput. (SISC) 26(6), 1955\u20131988 (2005)","journal-title":"SIAM J. Sci. Comput. (SISC)"},{"key":"10_CR8","doi-asserted-by":"publisher","first-page":"421","DOI":"10.13182\/NSE96-A24205","volume":"123","author":"S Koshizuka","year":"1996","unstructured":"S. Koshizuka, Y. Oka, Moving-particle semi-implicit method for fragmentation of incompressible fluid. Nuclear Sci. Eng. 123, 421\u2013434 (1996)","journal-title":"Nuclear Sci. Eng."},{"key":"10_CR9","unstructured":"H. Togawa, Conjugate Gradient Method (Kyoiku Shuppan, 1977, in Japanese)"},{"key":"10_CR10","unstructured":"IEEE, IEEE standard for floating-point arithmetic, IEEE Std 754-2008, pp. 1\u201370 (2008)"},{"issue":"20","key":"10_CR11","doi-asserted-by":"publisher","first-page":"10106","DOI":"10.1016\/j.amc.2012.03.087","volume":"218","author":"D.H. Bailey","year":"2012","unstructured":"D.H. Bailey, R. Barrio, J.M. Borwein, High precision computation: mathematical physics and dynamics. Appl. Math. Comput. 218, 10106\u201310121 (2012)","journal-title":"Applied Mathematics and Computation"},{"issue":"2","key":"10_CR12","doi-asserted-by":"publisher","first-page":"337","DOI":"10.3390\/math3020337","volume":"3","author":"David Bailey","year":"2015","unstructured":"D.H. Bailey, J.M. Borwein, High-precision arithmetic in mathematical physics. Mathematics 3, 337\u2013367 (2015)","journal-title":"Mathematics"},{"key":"10_CR13","unstructured":"G. Beliakov, Y. Matiyasevich, A parallel algorithm for calculation of large determinants with high accuracy for GPUs and MPI clusters. \n                arXiv:1308.1536v2"},{"key":"10_CR14","unstructured":"N.J. Higham, SIAM: Society for Industrial and Applied Mathematics, 2nd edn. (2002)"},{"key":"10_CR15","unstructured":"H. Hasegawa, Utilizing the quadruple-precision floating-point arithmetic operation for the krylov subspace methods, in Proceedings of the 8th SIAM Conference on Applied Linear Algebra, vol. 25 (2012)"},{"issue":"16","key":"10_CR16","doi-asserted-by":"publisher","first-page":"164113","DOI":"10.1063\/1.2911696","volume":"128","author":"Maho Nakata","year":"2008","unstructured":"M. Nakata, B.J. Braams, K. Fujisawa, M. Fukuda, J.K. Percus, M. Yamashita, Z. Zhao, Variational calculation of second-order reduced density matrices by strong n-representability conditions and an accurate semidefinite programming solver. J. Chem. Phys. 128, 164113 (2008)","journal-title":"The Journal of Chemical Physics"},{"key":"10_CR17","doi-asserted-by":"publisher","first-page":"823","DOI":"10.1007\/s10589-011-9437-8","volume":"53","author":"H Waki","year":"2012","unstructured":"H. Waki, M. Nakata, M. Muramatsu, Strange behaviors of interior-point methods for solving semidefinite programming problems in polynomial optimization. Comput. Opt. Appl. 53, 823 (2012)","journal-title":"Comput. Opt. Appl."},{"key":"10_CR18","doi-asserted-by":"crossref","unstructured":"F. Bornemann, D. Laurie, S. Wagon, J. Waldvogel, The SIAM 100-Digit Challenge: A Study in High-Accuracy Numerical Computing (Society for Industrial and Applied Mathematics, SIAM, 2004)","DOI":"10.1137\/1.9780898717969"},{"key":"10_CR19","unstructured":"D.E. Knuth, Art of Computer Programming, Volume 2: Seminumerical Algorithms, 3rd edn. (Addison-Wesley Professional, 1997)"},{"key":"10_CR20","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1007\/BF01397083","volume":"18","author":"TJ Dekker","year":"1971","unstructured":"T.J. Dekker, A floating-point technique for extending the available precision. Numerische Math. 18, 224\u2013242 (1971)","journal-title":"Numerische Math."},{"key":"10_CR21","unstructured":"Y. Hida, X.S. Li, D.H. Bailey, Library for double-double and quad-double arithmetic, Technical report (Lawrence Berkeley National Laboratory, 2008)"},{"key":"10_CR22","doi-asserted-by":"crossref","unstructured":"M. Nakata, Y. Takao, S. Noda, R. Himeno, A fast implementation of matrix-matrix product in double-double precision on nvidia C2050 and application to semidefinite programming, in Third International Conference on Networking and Computing (ICNC) (2012)","DOI":"10.1109\/ICNC.2012.19"},{"key":"10_CR23","unstructured":"T. Granlund, Gmp Development Team, GNU MP 6.0 Multiple Precision Arithmetic Library (Samurai Media Limited, United Kingdom, 2015)"},{"issue":"2","key":"10_CR24","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1145\/1236463.1236468","volume":"33","author":"Laurent Fousse","year":"2007","unstructured":"L. Fousse, G. Hanrot, V. Lefevre, P. P\u00e9lissier, P. Zimmermann, MPFR: a multiple-precision binary floating-point library with correct rounding. ACM Trans. Math. Softw. 33, 13 (2007)","journal-title":"ACM Transactions on Mathematical Software"},{"key":"10_CR25","unstructured":"A. Enge, M. Gastineau, P. Th\u00e9veny, P. Zimmermann, mpc\u2014a library for multiprecision complex arithmetic with exact rounding, INRIA, 1.0.3 edn., Feb 2015"},{"key":"10_CR26","doi-asserted-by":"crossref","unstructured":"M. Nakata, MPACK, RIKEN, 0.8.0 edn. (2012)","DOI":"10.1016\/S1351-4180(12)70281-7"},{"key":"10_CR27","unstructured":"M. Nakata, Mpack0.6.7: a high precision linear algebra library. Appl. Math. 2110 (2011, In Japanese)"},{"key":"10_CR28","unstructured":"T. Koya, BNCpack, 0.7 edn. (Shizuoka Institute of Science and Technology, 2011)"},{"key":"10_CR29","unstructured":"B.N. Parlett, The Symmetric Eigenvalue Problem (Classics in Applied Mathematics) (Society for Industrial Mathematics, 1987)"}],"container-title":["The Art of High Performance Computing for Computational Science, Vol. 1"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-13-6194-4_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T16:07:45Z","timestamp":1557850065000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-981-13-6194-4_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9789811361937","9789811361944"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-981-13-6194-4_10","relation":{},"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"15 May 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}