{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,7,3]],"date-time":"2024-07-03T06:27:29Z","timestamp":1719988049979},"reference-count":57,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2013,4,1]],"date-time":"2013-04-01T00:00:00Z","timestamp":1364774400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2017,4,1]],"date-time":"2017-04-01T00:00:00Z","timestamp":1491004800000},"content-version":"vor","delay-in-days":1461,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Journal of Computational and Applied Mathematics"],"published-print":{"date-parts":[[2013,4]]},"DOI":"10.1016\/j.cam.2012.10.010","type":"journal-article","created":{"date-parts":[[2012,10,27]],"date-time":"2012-10-27T07:00:49Z","timestamp":1351321249000},"page":"157-184","source":"Crossref","is-referenced-by-count":8,"special_numbering":"C","title":["Accurate solution of dense linear systems, part I: Algorithms in rounding to nearest"],"prefix":"10.1016","volume":"242","author":[{"given":"Siegfried M.","family":"Rump","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.cam.2012.10.010_br000005","series-title":"Accuracy and Stability of Numerical Algorithms","author":"Higham","year":"2002"},{"issue":"151","key":"10.1016\/j.cam.2012.10.010_br000010","doi-asserted-by":"crossref","first-page":"817","DOI":"10.1090\/S0025-5718-1980-0572859-4","article-title":"Iterative refinement implies numerical stability for gaussian elimination","volume":"35","author":"Skeel","year":"1980","journal-title":"Math. Comp."},{"issue":"2","key":"10.1016\/j.cam.2012.10.010_br000015","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1145\/1141885.1141894","article-title":"Error bounds from extra precise iterative refinement","volume":"32","author":"Demmel","year":"2006","journal-title":"ACM Tran. Math. Software (TOMS)"},{"key":"10.1016\/j.cam.2012.10.010_br000020","series-title":"Matrix Computations","author":"Golub","year":"1996"},{"key":"10.1016\/j.cam.2012.10.010_br000025","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1007\/BF01409991","article-title":"\u00c9tude statistique des erreurs dans l\u2019arithm\u00e9tique des ordinateurs; application au controle des resultats d\u2019algorithmes num\u00e9riques","volume":"23","author":"La Porte","year":"1974","journal-title":"Numer. Math."},{"key":"10.1016\/j.cam.2012.10.010_br000030","unstructured":"Jean Vignes, Algorithmes num\u00e9riques, analyse et mise en \u0153uvre. 2. \u00c9ditions Technip, Paris, 1980. \u00c9quations et syst\u00e8mes non lin\u00e9aires. [Nonlinear equations and systems], With the collaboration of Ren\u00e9 Alt and Mich\u00e8le Pichat, Collection Langages et Algorithmes de l\u2019Informatique."},{"key":"10.1016\/j.cam.2012.10.010_br000035","series-title":"Perspectives on Enclosure Methods. SCAN 2000, GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, Univ. Karlsruhe, Germany, September 19\u201322, 2000","article-title":"Proving conjectures by use of interval arithmetic","author":"Frommer","year":"2001"},{"issue":"12","key":"10.1016\/j.cam.2012.10.010_br000040","doi-asserted-by":"crossref","first-page":"1197","DOI":"10.1016\/S0764-4442(99)80439-X","article-title":"The Lorenz attractor exists","volume":"328","author":"Tucker","year":"1999","journal-title":"C. R. Acad. Sci., Paris, S\u00e9r. I, Math."},{"key":"10.1016\/j.cam.2012.10.010_br000045","series-title":"Handbook of Floating-Point Arithmetic","author":"Muller","year":"2010"},{"key":"10.1016\/j.cam.2012.10.010_br000050","unstructured":"ANSI\/IEEE 754-1985: IEEE standard for binary floating-point arithmetic. New York, 1985."},{"key":"10.1016\/j.cam.2012.10.010_br000055","unstructured":"ANSI\/IEEE 754-2008: IEEE standard for floating-point arithmetic. New York, 2008."},{"key":"10.1016\/j.cam.2012.10.010_br000060","unstructured":"T. Ogita, S.M. Rump, S. Oishi, Verified solution of linear systems without directed rounding, Technical Report 2005-04, Advanced Research Institute for Science and Engineering, Waseda University, Tokyo, Japan, 2005."},{"issue":"2","key":"10.1016\/j.cam.2012.10.010_br000065","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1016\/j.cam.2005.08.034","article-title":"A method of obtaining verified solutions for linear systems suited for Java","volume":"199","author":"Ozaki","year":"2006","journal-title":"J. Comput. Appl. Math. (JCAM)"},{"issue":"1","key":"10.1016\/j.cam.2012.10.010_br000070","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1007\/s10543-011-0342-4","article-title":"Error estimation of floating-point summation and dot product","volume":"51","author":"Rump","year":"2012","journal-title":"BIT"},{"key":"10.1016\/j.cam.2012.10.010_br000075","doi-asserted-by":"crossref","first-page":"1214","DOI":"10.1137\/S1064827502407627","article-title":"Accurate and efficient floating point summation","volume":"25","author":"Demmel","year":"2003","journal-title":"SIAM J. Sci. Comput. (SISC)"},{"key":"10.1016\/j.cam.2012.10.010_br000080","doi-asserted-by":"crossref","first-page":"783","DOI":"10.1137\/0914050","article-title":"The accuracy of floating point summation","volume":"14","author":"Higham","year":"1993","journal-title":"SIAM J. Sci. Comput."},{"issue":"11","key":"10.1016\/j.cam.2012.10.010_br000085","doi-asserted-by":"crossref","first-page":"731","DOI":"10.1145\/362854.362889","article-title":"On accurate floating-point summation","volume":"14","author":"Malcolm","year":"1971","journal-title":"Comm. ACM"},{"key":"10.1016\/j.cam.2012.10.010_br000090","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1002\/zamm.19740540106","article-title":"Rundungsfehleranalyse einiger Verfahren zur Summation endlicher Summen","volume":"54","author":"Neumaier","year":"1974","journal-title":"Zeitschrift f\u00fcr Angew. Math. Mech. (ZAMM)"},{"key":"10.1016\/j.cam.2012.10.010_br000095","unstructured":"D.M. Priest, On properties of floating-point arithmetics: numerical stability and the cost of accurate computations, Ph.D. Thesis, Mathematics Department, University of California at Berkeley, CA, 1992. ftp:\/\/ftp.icsi.berkeley.edu\/pub\/theory\/priest-thesis.ps.Z."},{"key":"10.1016\/j.cam.2012.10.010_br000100","series-title":"Proceedings of the 2008 International Symposium on Nonlinear Theory and its Applications","first-page":"508","article-title":"Accurate matrix multiplication by using level 3 BLAS operation","author":"Ozaki","year":"2008"},{"issue":"1","key":"10.1016\/j.cam.2012.10.010_br000105","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1137\/050645671","article-title":"Accurate floating-point summation part I: faithful rounding","volume":"31","author":"Rump","year":"2008","journal-title":"SIAM J. Sci. Comput."},{"issue":"5","key":"10.1016\/j.cam.2012.10.010_br000110","doi-asserted-by":"crossref","first-page":"3466","DOI":"10.1137\/080738490","article-title":"Ultimately fast accurate summation","volume":"31","author":"Rump","year":"2009","journal-title":"SIAM J. Sci. Comput. (SISC)"},{"issue":"3","key":"10.1016\/j.cam.2012.10.010_br000115","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1007\/PL00009321","article-title":"Adaptive precision floating-point arithmetic and fast robust geometric predicates","volume":"18","author":"Shewchuk","year":"1997","journal-title":"Discrete Comput. Geom."},{"key":"10.1016\/j.cam.2012.10.010_br000120","series-title":"Proceedings of the RNC7 Conference on Real Numbers and Computers","first-page":"11","article-title":"Fast, guaranteed-accurate sums of many floating-point numbers","author":"Zhu","year":"2006"},{"issue":"6","key":"10.1016\/j.cam.2012.10.010_br000125","doi-asserted-by":"crossref","first-page":"2066","DOI":"10.1137\/030602009","article-title":"A new distillation algorithm for floating-point summation","volume":"26","author":"Zhu","year":"2005","journal-title":"SIAM J. Sci. Comput."},{"key":"10.1016\/j.cam.2012.10.010_br000130","first-page":"7","article-title":"Genaue L\u00f6sung linearer Gleichungssysteme","volume":"26","author":"Zielke","year":"2003","journal-title":"GAMM Mitt. Ges. Angew. Math. Mech."},{"issue":"2","key":"10.1016\/j.cam.2012.10.010_br000135","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1145\/567806.567808","article-title":"Design, implementation and testing of extended and mixed precision BLAS","volume":"28","author":"Li","year":"2002","journal-title":"ACM Trans. Math. Software"},{"key":"10.1016\/j.cam.2012.10.010_br000140","unstructured":"XBLAS: a reference implementation for extended and mixed precision BLAS. http:\/\/crd.lbl.gov\/~xiaoye\/XBLAS\/."},{"key":"10.1016\/j.cam.2012.10.010_br000145","doi-asserted-by":"crossref","unstructured":"D.H. Bailey, H. Yozo, X.S. Li, B. Thompson, ARPREC: an arbitrary precision computation package, Technical Report LBNL-53651, Lawrence Berkeley National Laboratory, Berkeley, CA, 2002.","DOI":"10.2172\/817634"},{"issue":"2","key":"10.1016\/j.cam.2012.10.010_br000150","doi-asserted-by":"crossref","DOI":"10.1145\/1236463.1236468","article-title":"MPFR: a multiple-precision binary floating-point library with correct rounding","volume":"33","author":"Fousse","year":"2007","journal-title":"ACM Trans. Math. Software"},{"key":"10.1016\/j.cam.2012.10.010_br000155","series-title":"Computer Methods for Mathematical Computations","author":"Forsythe","year":"1977"},{"key":"10.1016\/j.cam.2012.10.010_br000160","doi-asserted-by":"crossref","first-page":"804","DOI":"10.1137\/0911047","article-title":"Experience with a matrix norm estimator","volume":"11","author":"Higham","year":"1990","journal-title":"SIAM J. Sci. Statist. Comput. (SISC)"},{"issue":"3","key":"10.1016\/j.cam.2012.10.010_br000165","doi-asserted-by":"crossref","first-page":"335","DOI":"10.1137\/0611023","article-title":"Average-case stability of gaussian elimination","volume":"11","author":"Trefethen","year":"1990","journal-title":"SIAM J. Matrix Anal. Appl."},{"issue":"2","key":"10.1016\/j.cam.2012.10.010_br000170","doi-asserted-by":"crossref","first-page":"564","DOI":"10.1137\/S0895479896312869","article-title":"Condition numbers of random triangular matrices","volume":"19","author":"Viswanath","year":"1998","journal-title":"SIAM J. Matrix Anal. Appl."},{"issue":"1","key":"10.1016\/j.cam.2012.10.010_br000175","doi-asserted-by":"crossref","first-page":"533","DOI":"10.1016\/j.cam.2006.05.022","article-title":"Convergence of Rump\u2019s method for inverting arbitrarily ill-conditioned matrices","volume":"205","author":"Oishi","year":"2007","journal-title":"J. Comput. Appl. Math."},{"key":"10.1016\/j.cam.2012.10.010_br000180","first-page":"1","article-title":"Inversion of extremely ill-conditioned matrices in floating-point","volume":"26","author":"Rump","year":"2009","journal-title":"Japan J. Indust. Appl. Math. (JJIAM)"},{"issue":"4","key":"10.1016\/j.cam.2012.10.010_br000185","doi-asserted-by":"crossref","first-page":"645","DOI":"10.1137\/0612049","article-title":"A class of arbitrarily ill-conditioned floating-point matrices","volume":"12","author":"Rump","year":"1991","journal-title":"SIAM J. Matrix Anal. Appl. (SIMAX)"},{"key":"10.1016\/j.cam.2012.10.010_br000190","unstructured":"T. Nishi, T. Ogita, S. Oishi, S.M. Rump, A method for the generation of a class of ill-conditioned matrices. in: 2008 International Symposium on Nonlinear Theory and its Applications, NOLTA\u201908, Budapest, Hungary, September 7\u201310, 2008, pp. 53\u201356."},{"issue":"2","key":"10.1016\/j.cam.2012.10.010_br000195","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1587\/nolta.2.226","article-title":"On the generation of very ill-conditioned integer matrices","volume":"2","author":"Nishi","year":"2011","journal-title":"Nonlinear Theory Appl. (NOLTA), IEICE"},{"key":"10.1016\/j.cam.2012.10.010_br000200","series-title":"Lecture at the 12th GAMM-IMACS International Symposion on Scientific Computing","article-title":"Accurate algorithms in floating-point arithmetic","author":"Langlois","year":"2006"},{"issue":"6","key":"10.1016\/j.cam.2012.10.010_br000205","doi-asserted-by":"crossref","first-page":"1955","DOI":"10.1137\/030601818","article-title":"Accurate sum and dot product","volume":"26","author":"Ogita","year":"2005","journal-title":"SIAM J. Sci. Comput. (SISC)"},{"key":"10.1016\/j.cam.2012.10.010_br000210","series-title":"The Art of Computer Programming: Seminumerical Algorithms, Vol. 2","author":"Knuth","year":"1969"},{"key":"10.1016\/j.cam.2012.10.010_br000215","doi-asserted-by":"crossref","first-page":"224","DOI":"10.1007\/BF01397083","article-title":"A floating-point technique for extending the available precision","volume":"18","author":"Dekker","year":"1971","journal-title":"Numer. Math."},{"key":"10.1016\/j.cam.2012.10.010_br000220","first-page":"11","article-title":"Numerical stability in mathematical analysis","volume":"68","author":"Babu\u015bka","year":"1969","journal-title":"Inform. Process."},{"key":"10.1016\/j.cam.2012.10.010_br000225","series-title":"Introduction to Numerical Analysis","author":"Neumaier","year":"2001"},{"key":"10.1016\/j.cam.2012.10.010_br000230","doi-asserted-by":"crossref","first-page":"157","DOI":"10.1007\/BF03167865","article-title":"Error bounds for approximate solutions of systems of equations","volume":"1","author":"Yamamoto","year":"1984","journal-title":"Japan J. Appl. Math."},{"key":"10.1016\/j.cam.2012.10.010_br000235","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1007\/BF01180013","article-title":"Einschlie\u00dfungssatz f\u00fcr die charakteristischen Zahlen von Matrizen","volume":"48","author":"Collatz","year":"1942","journal-title":"Math. Z."},{"key":"10.1016\/j.cam.2012.10.010_br000240","unstructured":"S.M. Rump, INTLAB - Interval Laboratory, Version 6, pp. 1998\u20132011. http:\/\/www.ti3.tu-harburg.de\/rump."},{"key":"10.1016\/j.cam.2012.10.010_br000245","doi-asserted-by":"crossref","first-page":"731","DOI":"10.1137\/04061903X","article-title":"Accurate computations with totally nonnegative matrices","volume":"29","author":"Koev","year":"2007","journal-title":"SIAM J. Matrix Anal. Appl."},{"issue":"7","key":"10.1016\/j.cam.2012.10.010_br000250","doi-asserted-by":"crossref","first-page":"1755","DOI":"10.1016\/j.cam.2009.11.012","article-title":"Growth factors of pivoting strategies associated to Neville Elimination","volume":"235","author":"Alonso","year":"2011","journal-title":"J. Comput. Appl. Math."},{"key":"10.1016\/j.cam.2012.10.010_br000255","doi-asserted-by":"crossref","first-page":"1096","DOI":"10.1093\/imanum\/drr023","article-title":"Accurate solution of structured linear systems via rank-revealing decompositions","volume":"32","author":"Dopico","year":"2012","journal-title":"IMA J. Numer. Anal."},{"key":"10.1016\/j.cam.2012.10.010_br000260","unstructured":"N. Castro-Gonz\u00e1lez, J. Ceballos, F. Dopico, J. Molera, Multiplicative perturbation theory and accurate solution of least squares problems, 2012 (submitted for publication)."},{"issue":"2","key":"10.1016\/j.cam.2012.10.010_br000265","doi-asserted-by":"crossref","first-page":"562","DOI":"10.1137\/S0895479897328716","article-title":"Accurate SVDs of structured matrices","volume":"21","author":"Demmel","year":"1999","journal-title":"SIAM J. Math. Anal. (SIMA)"},{"key":"10.1016\/j.cam.2012.10.010_br000270","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1017\/S0962492906350015","article-title":"Accurate and efficient expression evaluation and linear algebra","volume":"2008","author":"Demmel","year":"2008","journal-title":"Acta Numer."},{"issue":"1","key":"10.1016\/j.cam.2012.10.010_br000275","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1145\/365153.365159","article-title":"Algorithm 274: generation of Hilbert derived test matrix","volume":"9","author":"Boothroyd","year":"1966","journal-title":"Comm. ACM"},{"issue":"4","key":"10.1016\/j.cam.2012.10.010_br000280","doi-asserted-by":"crossref","first-page":"553","DOI":"10.1007\/PL00005392","article-title":"The condition number of real Vandermode, Krylov and positive definite Hankel matrices","volume":"85","author":"Beckermann","year":"2000","journal-title":"Numer. Math."},{"issue":"1","key":"10.1016\/j.cam.2012.10.010_br000285","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1007\/s10543-010-0293-1","article-title":"Optimally scaled and optimally conditioned Vandermonde and Vandermonde-like matrices","volume":"51","author":"Gautschi","year":"2011","journal-title":"BIT"}],"container-title":["Journal of Computational and Applied Mathematics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0377042712004360?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0377042712004360?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,7,5]],"date-time":"2019-07-05T01:59:47Z","timestamp":1562291987000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0377042712004360"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,4]]},"references-count":57,"alternative-id":["S0377042712004360"],"URL":"https:\/\/doi.org\/10.1016\/j.cam.2012.10.010","relation":{},"ISSN":["0377-0427"],"issn-type":[{"value":"0377-0427","type":"print"}],"subject":[],"published":{"date-parts":[[2013,4]]}}}