{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,21]],"date-time":"2025-11-21T18:22:22Z","timestamp":1763749342599,"version":"3.40.3"},"publisher-location":"Cham","reference-count":49,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031727085"},{"type":"electronic","value":"9783031727092"}],"license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"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":[[2024]]},"DOI":"10.1007\/978-3-031-72709-2_3","type":"book-chapter","created":{"date-parts":[[2024,10,16]],"date-time":"2024-10-16T11:02:37Z","timestamp":1729076557000},"page":"74-90","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Iterative Refinement with Low-Precision Posit Arithmetic"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2628-1651","authenticated-orcid":false,"given":"James","family":"Quinlan","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0194-951X","authenticated-orcid":false,"given":"E. Theodore L.","family":"Omtzigt","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2024,10,17]]},"reference":[{"issue":"2","key":"3_CR1","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1016\/j.cam.2005.03.018","volume":"185","author":"A Al-Kurdi","year":"2006","unstructured":"Al-Kurdi, A., Kincaid, D.R.: LU-decomposition with iterative refinement for solving sparse linear systems. J. Comput. Appl. Math. 185(2), 391\u2013403 (2006)","journal-title":"J. Comput. Appl. Math."},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Anderson, E., et al.: LAPACK users\u2019 guide. SIAM (1999)","DOI":"10.1137\/1.9780898719604"},{"issue":"12","key":"3_CR3","doi-asserted-by":"publisher","first-page":"2526","DOI":"10.1016\/j.cpc.2008.11.005","volume":"180","author":"M Baboulin","year":"2009","unstructured":"Baboulin, M., et al.: Accelerating scientific computations with mixed precision algorithms. Comput. Phys. Commun. 180(12), 2526\u20132533 (2009)","journal-title":"Comput. Phys. Commun."},{"issue":"2","key":"3_CR4","doi-asserted-by":"publisher","first-page":"337","DOI":"10.3390\/math3020337","volume":"3","author":"DH Bailey","year":"2015","unstructured":"Bailey, D.H., Borwein, J.M.: High-precision arithmetic in mathematical physics. Mathematics 3(2), 337\u2013367 (2015)","journal-title":"Mathematics"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Barrett, R., et al.: Templates for the solution of linear systems: building blocks for iterative methods. SIAM (1994)","DOI":"10.1137\/1.9781611971538"},{"issue":"1","key":"3_CR6","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/BF01385880","volume":"5","author":"FL Bauer","year":"1963","unstructured":"Bauer, F.L.: Optimally scaled matrices. Numer. Math. 5(1), 73\u201387 (1963)","journal-title":"Numer. Math."},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Buoncristiani, N., Shah, S., Donofrio, D., Shalf, J.: Evaluating the numerical stability of posit arithmetic. In: 2020 IEEE International Parallel and Distributed Processing Symposium (IPDPS), pp. 612\u2013621. IEEE (2020)","DOI":"10.1109\/IPDPS47924.2020.00069"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Carmichael, Z., Langroudi, H.F., Khazanov, C., Lillie, J., Gustafson, J.L., Kudithipudi, D.: Deep positron: a deep neural network using the posit number system. In: 2019 Design, Automation & Test in Europe Conference & Exhibition (DATE), pp. 1421\u20131426. IEEE (2019)","DOI":"10.23919\/DATE.2019.8715262"},{"issue":"6","key":"3_CR9","doi-asserted-by":"publisher","first-page":"A2834","DOI":"10.1137\/17M1122918","volume":"39","author":"E Carson","year":"2017","unstructured":"Carson, E., Higham, N.J.: A new analysis of iterative refinement and its application to accurate solution of ill-conditioned sparse linear systems. SIAM J. Sci. Comput. 39(6), A2834\u2013A2856 (2017)","journal-title":"SIAM J. Sci. Comput."},{"issue":"2","key":"3_CR10","doi-asserted-by":"publisher","first-page":"A817","DOI":"10.1137\/17M1140819","volume":"40","author":"E Carson","year":"2018","unstructured":"Carson, E., Higham, N.J.: Accelerating the solution of linear systems by iterative refinement in three precisions. SIAM J. Sci. Comput. 40(2), A817\u2013A847 (2018)","journal-title":"SIAM J. Sci. Comput."},{"issue":"2","key":"3_CR11","doi-asserted-by":"publisher","first-page":"368","DOI":"10.1137\/0716029","volume":"16","author":"AK Cline","year":"1979","unstructured":"Cline, A.K., Moler, C.B., Stewart, G.W., Wilkinson, J.H.: An estimate for the condition number of a matrix. SIAM J. Numer. Anal. 16(2), 368\u2013375 (1979)","journal-title":"SIAM J. Numer. Anal."},{"issue":"3","key":"3_CR12","doi-asserted-by":"publisher","first-page":"759","DOI":"10.1007\/s11554-020-00984-x","volume":"17","author":"M Cococcioni","year":"2020","unstructured":"Cococcioni, M., Rossi, F., Ruffaldi, E., Saponara, S.: Fast deep neural networks for image processing using posits and arm scalable vector extension. J. Real-Time Image Proc. 17(3), 759\u2013771 (2020)","journal-title":"J. Real-Time Image Proc."},{"issue":"1","key":"3_CR13","first-page":"1","volume":"38","author":"TA Davis","year":"2011","unstructured":"Davis, T.A., Hu, Y.: The university of Florida sparse matrix collection. ACM Trans. Math. Softw. (TOMS) 38(1), 1\u201325 (2011)","journal-title":"ACM Trans. Math. Softw. (TOMS)"},{"issue":"7","key":"3_CR14","doi-asserted-by":"publisher","first-page":"2657","DOI":"10.1007\/s00382-017-4034-x","volume":"51","author":"A Dawson","year":"2018","unstructured":"Dawson, A., D\u00fcben, P.D., MacLeod, D.A., Palmer, T.N.: Reliable low precision simulations in land surface models. Clim. Dyn. 51(7), 2657\u20132666 (2018)","journal-title":"Clim. Dyn."},{"issue":"2","key":"3_CR15","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1145\/1141885.1141894","volume":"32","author":"J Demmel","year":"2006","unstructured":"Demmel, J., Hida, Y., Kahan, W., Li, X.S., Mukherjee, S., Riedy, E.J.: Error bounds from extra-precise iterative refinement. ACM Trans. Math. Softw. (TOMS) 32(2), 325\u2013351 (2006)","journal-title":"ACM Trans. Math. Softw. (TOMS)"},{"key":"3_CR16","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1007\/s10589-011-9420-4","volume":"52","author":"JM Elble","year":"2012","unstructured":"Elble, J.M., Sahinidis, N.V.: Scaling linear optimization problems prior to application of the simplex method. Comput. Optim. Appl. 52, 345\u2013371 (2012)","journal-title":"Comput. Optim. Appl."},{"key":"3_CR17","unstructured":"Feldman, M.: Fujitsu reveals details of processor that will power Post-K supercomputer (2018). Accessed 26 Mar 2019"},{"key":"3_CR18","volume-title":"Computer Solution of Linear Algebraic Systems","author":"GE Forsythe","year":"1967","unstructured":"Forsythe, G.E., Moler, C.B.: Computer Solution of Linear Algebraic Systems. Prentice-Hall, Englewood Cliffs (1967)"},{"key":"3_CR19","unstructured":"Golub, G.H., Van Loan, C.F.: Matrix Computations. Mathematical Sciences. Johns Hopkins University Press, Baltimore (1996)"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"Golub, G.H., Van\u00a0Loan, C.F.: Matrix Computations. JHU Press, Baltimore (2013)","DOI":"10.56021\/9781421407944"},{"key":"3_CR21","unstructured":"Posit Working Group: Standard for posit arithmetic. Technical report, National Supercomputing Centre (NSCC) Singapore (2022)"},{"key":"3_CR22","unstructured":"Gupta, S., Agrawal, A., Gopalakrishnan, K., Narayanan, P.: Deep learning with limited numerical precision. In: International Conference on Machine Learning, pp. 1737\u20131746. PMLR (2015)"},{"issue":"2","key":"3_CR23","first-page":"71","volume":"4","author":"JL Gustafson","year":"2017","unstructured":"Gustafson, J.L., Yonemoto, I.T.: Beating floating point at its own game: posit arithmetic. Supercomput. Front. Innov. 4(2), 71\u201386 (2017)","journal-title":"Supercomput. Front. Innov."},{"key":"3_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"586","DOI":"10.1007\/978-3-319-93698-7_45","volume-title":"Computational Science \u2013 ICCS 2018","author":"A Haidar","year":"2018","unstructured":"Haidar, A., et al.: The design of fast and energy-efficient linear solvers: on the potential of half-precision arithmetic and iterative refinement techniques. In: Shi, Y., et al. (eds.) ICCS 2018. LNCS, vol. 10860, pp. 586\u2013600. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-93698-7_45"},{"key":"3_CR25","doi-asserted-by":"crossref","unstructured":"Haidar, A., Tomov, S., Dongarra, J., Higham, N.J.: Harnessing GPU tensor cores for fast FP16 arithmetic to speed up mixed-precision iterative refinement solvers. In: SC18: International Conference for High Performance Computing, Networking, Storage and Analysis, pp. 603\u2013613. IEEE (2018)","DOI":"10.1109\/SC.2018.00050"},{"key":"3_CR26","doi-asserted-by":"crossref","unstructured":"Haidar, A., Wu, P., Tomov, S., Dongarra, J.: Investigating half precision arithmetic to accelerate dense linear system solvers. In: Proceedings of the 8th Workshop on Latest Advances in Scalable Algorithms for Large-Scale Systems, pp.\u00a01\u20138 (2017)","DOI":"10.1145\/3148226.3148237"},{"issue":"3","key":"3_CR27","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1023\/A:1008153532043","volume":"18","author":"Y He","year":"2001","unstructured":"He, Y., Ding, C.H.: Using accurate arithmetics to improve numerical reproducibility and stability in parallel applications. J. Supercomput. 18(3), 259\u2013277 (2001)","journal-title":"J. Supercomput."},{"issue":"4","key":"3_CR28","doi-asserted-by":"publisher","first-page":"495","DOI":"10.1093\/imanum\/17.4.495","volume":"17","author":"NJ Higham","year":"1997","unstructured":"Higham, N.J.: Iterative refinement for linear systems and lapack. IMA J. Numer. Anal. 17(4), 495\u2013509 (1997)","journal-title":"IMA J. Numer. Anal."},{"issue":"1","key":"3_CR29","doi-asserted-by":"publisher","first-page":"A59","DOI":"10.1137\/18M1182802","volume":"41","author":"NJ Higham","year":"2019","unstructured":"Higham, N.J., Mary, T.: A new preconditioner that exploits low-rank approximations to factorization error. SIAM J. Sci. Comput. 41(1), A59\u2013A82 (2019)","journal-title":"SIAM J. Sci. Comput."},{"issue":"4","key":"3_CR30","doi-asserted-by":"publisher","first-page":"A2536","DOI":"10.1137\/18M1229511","volume":"41","author":"NJ Higham","year":"2019","unstructured":"Higham, N.J., Pranesh, S., Zounon, M.: Squeezing a matrix into half-precision, with an application to solving linear systems. SIAM J. Sci. Comput. 41(4), A2536\u2013A2551 (2019)","journal-title":"SIAM J. Sci. Comput."},{"issue":"1","key":"3_CR31","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1137\/15M1024871","volume":"40","author":"J Hook","year":"2019","unstructured":"Hook, J., Pestana, J., Tisseur, F., Hogg, J.: Max-balanced hungarian scalings. SIAM J. Matrix Anal. Appl. 40(1), 320\u2013346 (2019)","journal-title":"SIAM J. Matrix Anal. Appl."},{"key":"3_CR32","unstructured":"Intel Corporation: BFLOAT16 - Hardware Numerics Definition (2018)"},{"key":"3_CR33","unstructured":"Kharya, P.: Tensorfloat-32 in the A100 GPU accelerates AI training HPC up to 20x. NVIDIA Corporation, Technical report (2020)"},{"key":"3_CR34","unstructured":"Kirdani-Ryan, M., Lim, K., Smith, G., Petrisko, D.: Well rounded: visualizing floating point representations (2019). https:\/\/cse512-19s.github.io\/FP-Well-Rounded. Accessed 08 Oct 2023"},{"key":"3_CR35","unstructured":"Kulisch, U.: Grundlagen des numerischen rechnens-mathematische begr\u00fcndung der rechnerarithmetik, reihe informatik (1976)"},{"key":"3_CR36","doi-asserted-by":"crossref","unstructured":"Langou, J., Langou, J., Luszczek, P., Kurzak, J., Buttari, A., Dongarra, J.: Exploiting the performance of 32 bit floating point arithmetic in obtaining 64 bit accuracy (revisiting iterative refinement for linear systems). In: SC\u201906: Proceedings of the 2006 ACM\/IEEE Conference on Supercomputing, p. 50. IEEE (2006)","DOI":"10.1109\/SC.2006.30"},{"key":"3_CR37","unstructured":"Leon, S.J., De\u00a0Pillis, L.: Linear Algebra with Applications. Pearson, London (2020)"},{"key":"3_CR38","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1007\/978-3-030-63393-6_4","volume-title":"Driving Scientific and Engineering Discoveries Through the Convergence of HPC, Big Data and AI","author":"N Lindquist","year":"2020","unstructured":"Lindquist, N., Luszczek, P., Dongarra, J.: Improving the performance of the GMRES method using mixed-precision techniques. In: Nichols, J., Verastegui, B., Maccabe, A.B., Hernandez, O., Parete-Koon, S., Ahearn, T. (eds.) SMC 2020. CCIS, vol. 1315, pp. 51\u201366. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-63393-6_4"},{"issue":"2","key":"3_CR39","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1109\/TC.2020.2985971","volume":"70","author":"J Lu","year":"2020","unstructured":"Lu, J., Fang, C., Xu, M., Lin, J., Wang, Z.: Evaluations on deep neural networks training using posit number system. IEEE Trans. Comput. 70(2), 174\u2013187 (2020)","journal-title":"IEEE Trans. Comput."},{"key":"3_CR40","doi-asserted-by":"crossref","unstructured":"Ma, D., Saunders, M.A.: Solving multiscale linear programs using the simplex method in quadruple precision. In: Numerical Analysis and Optimization, pp. 223\u2013235. Springer, Heidelberg (2015)","DOI":"10.1007\/978-3-319-17689-5_9"},{"issue":"1","key":"3_CR41","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1038\/s41598-016-0028-x","volume":"7","author":"D Ma","year":"2017","unstructured":"Ma, D., Yang, L., Fleming, R.M., Thiele, I., Palsson, B.O., Saunders, M.A.: Reliable and efficient solution of genome-scale models of metabolism and macromolecular expression. Sci. Rep. 7(1), 1\u201311 (2017)","journal-title":"Sci. Rep."},{"issue":"3","key":"3_CR42","doi-asserted-by":"publisher","first-page":"1241","DOI":"10.1109\/TETC.2022.3187199","volume":"10","author":"D Mallas\u00e9n","year":"2022","unstructured":"Mallas\u00e9n, D., Murillo, R., Del Barrio, A.A., Botella, G., Pi\u00f1uel, L., Prieto-Matias, M.: PERCIVAL: open-source posit RISC-V core with quire capability. IEEE Trans. Emerg. Top. Comput. 10(3), 1241\u20131252 (2022)","journal-title":"IEEE Trans. Emerg. Top. Comput."},{"key":"3_CR43","doi-asserted-by":"publisher","DOI":"10.1016\/j.dsp.2020.102762","volume":"102","author":"R Murillo","year":"2020","unstructured":"Murillo, R., Del Barrio, A.A., Botella, G.: Deep pensieve: a deep learning framework based on the posit number system. Digit. Signal Process. 102, 102762 (2020)","journal-title":"Digit. Signal Process."},{"key":"3_CR44","doi-asserted-by":"publisher","unstructured":"Omtzigt, E.T.L., Quinlan, J.: Universal numbers library: Multi-format variable precision arithmetic library. J. Open Source Softw. 8(83), 5072 (2023). https:\/\/doi.org\/10.21105\/joss.05072","DOI":"10.21105\/joss.05072"},{"issue":"2018","key":"3_CR45","doi-asserted-by":"publisher","first-page":"20130391","DOI":"10.1098\/rsta.2013.0391","volume":"372","author":"TN Palmer","year":"2014","unstructured":"Palmer, T.N.: More reliable forecasts with less precise computations: a fast-track route to cloud-resolved weather and climate simulators? Philos. Trans. R. Soc. A Math. Phys. Eng. Sci. 372(2018), 20130391 (2014)","journal-title":"Philos. Trans. R. Soc. A Math. Phys. Eng. Sci."},{"key":"3_CR46","unstructured":"Suraksha, E.P.: Bengaluru-based calligo tech to receive first silicon with posit computing capability this month. The Econmoic Times (2024)"},{"key":"3_CR47","doi-asserted-by":"crossref","unstructured":"Svyatkovskiy, A., Kates-Harbeck, J., Tang, W.: Training distributed deep recurrent neural networks with mixed precision on GPU clusters. In: Proceedings of the Machine Learning on HPC Environments, pp.\u00a01\u20138. ACM (2017)","DOI":"10.1145\/3146347.3146358"},{"key":"3_CR48","unstructured":"Wilkinson, J.H.: Rounding Errors in Algebraic Processes. Prentice-Hall Inc., Hoboken (1963)"},{"issue":"1","key":"3_CR49","first-page":"1","volume":"15","author":"C Wu","year":"2021","unstructured":"Wu, C., Wang, M., Chu, X., Wang, K., He, L.: Low-precision floating-point arithmetic for high-performance FPGA-based CNN acceleration. ACM Trans. Reconfigurable Technol. Syst. (TRETS) 15(1), 1\u201321 (2021)","journal-title":"ACM Trans. Reconfigurable Technol. Syst. (TRETS)"}],"container-title":["Lecture Notes in Computer Science","Next Generation Arithmetic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-72709-2_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,16]],"date-time":"2024-10-16T11:03:19Z","timestamp":1729076599000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-72709-2_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"ISBN":["9783031727085","9783031727092"],"references-count":49,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-72709-2_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"17 October 2024","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"The authors have no competing interests to declare relevant to the content of this article.","order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Disclosure of Interests"}},{"value":"CoNGA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Conference on Next Generation Arithmetic","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Sydney, NSW","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Australia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2024","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 February 2024","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 February 2024","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"conga2024","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/posithub.org\/conga\/2024\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}