{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T08:07:25Z","timestamp":1725610045405},"publisher-location":"Vienna","reference-count":23,"publisher":"Springer Vienna","isbn-type":[{"type":"print","value":"9783211835906"},{"type":"electronic","value":"9783709162828"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/978-3-7091-6282-8_3","type":"book-chapter","created":{"date-parts":[[2011,9,16]],"date-time":"2011-09-16T14:23:43Z","timestamp":1316183023000},"page":"77-97","source":"Crossref","is-referenced-by-count":0,"title":["Highly Accurate Verified Error Bounds for Krylov Type Linear System Solvers"],"prefix":"10.1007","author":[{"given":"Axel","family":"Facius","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"D. Adams. Life, the Universe and Everything. Ballantine Books, 1995."},{"key":"3_CR2","unstructured":"G. Alefeld and J. Herzberger. Introduction to Interval Computations. Academic Press, 1983"},{"key":"3_CR3","unstructured":"American National Standards Institute \/ Institute of Electrical and Electronic Engineers, New York. A Standard for Binary Floating-Point Arithmetic, 1985. ANSI\/IEEE Std. 754-1985."},{"key":"3_CR4","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. Numer. Math., 18:224\u2013242, 1971.","journal-title":"Numer. Math"},{"key":"3_CR5","unstructured":"J. Demmel, B. Diament, and G. Malajovich. On the complexity of computing error bounds. www.cs.berkeley.edurdemmel\/, 1999."},{"key":"3_CR6","unstructured":"A. Facius. The need for higher precision in solving ill-conditioned linear systems. to be published in Iterative methods in Scientific Computation II, 2000."},{"issue":"3","key":"3_CR7","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1023\/A:1009976221447","volume":"5","author":"A Frommer","year":"1999","unstructured":"A. Frommer and A. Weinberg. Verified error bounds for linear systems through the Lanczos process. Reliable Computing, 5(3):255\u2013267, 1999.","journal-title":"Reliable Computing"},{"key":"3_CR8","unstructured":"G. Golub and C. van Loan. Matrix Computations. Johns Hopkins, third edition, 1996."},{"key":"3_CR9","unstructured":"T. Granlund. The GNU Multiple Precision Arithmetic Library. vwv.csd.uu.se\/documentation\/-programming\/gmp\/"},{"key":"3_CR10","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611970937","volume-title":"Iterative Methods for Solving Linear Systems","author":"A Greenbaum","year":"1997","unstructured":"A. Greenbaum. Iterative Methods for Solving Linear Systems. SIAM, Philadelphia, 1997."},{"key":"3_CR11","doi-asserted-by":"publisher","first-page":"409","DOI":"10.6028\/jres.049.044","volume":"49","author":"M Hestenes","year":"1952","unstructured":"M. Hestenes and E. Stiefel. Methods of conjugate gradients for solving linear systems. Journal of Research of the National Bureau of Standards, 49:409\u2013436, 1952.","journal-title":"Journal of Research of the National Bureau of Standards"},{"key":"3_CR12","volume-title":"Accuracy and Stability of Numerical Algorithms","author":"NJ Higham","year":"1996","unstructured":"N. J. Higham. Accuracy and Stability of Numerical Algorithms. SIAM, Philadelphia, 1996."},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"R. Klatte, U. Kulisch, A. Wiethoff, C. Lawo, and M. Rauch. C-XSC. Springer Verlag, 1992.","DOI":"10.1007\/978-3-642-58058-1"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"U. Kulisch. Advanced Aithmetic for the Digital Computer- Design of Arithmetic Units. Electronic Notes of Theoretical Computer Science, vwv.elsevier.nl\/locate\/entcs\/volume24.html pp. 1-72, 1999.","DOI":"10.1016\/S1571-0661(05)80622-X"},{"key":"3_CR15","doi-asserted-by":"publisher","first-page":"255","DOI":"10.6028\/jres.045.026","volume":"45","author":"C Lanczos","year":"1950","unstructured":"C. Lanczos. An iteration method for the solution of the eigenvalue problem of linear differential and integral operators. Journal of Research 0\/ the National Bureau of Standards, 45:255\u2013282, 1950.","journal-title":"Journal of Research 0\/ the National Bureau of Standards"},{"key":"3_CR16","unstructured":"The matrix market: a visual web database for numerical matrix data. math.nist.gov\/MatrixMarket\/"},{"key":"3_CR17","volume-title":"The Computation of Eigenvalues and Eigenvectors of Very Large Sparse Matrices","author":"C Paige","year":"1971","unstructured":"C. Paige. The Computation of Eigenvalues and Eigenvectors of Very Large Sparse Matrices. PhD thesis, University of London, 1971."},{"key":"3_CR18","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1145\/355984.355989","volume":"8","author":"C Paige","year":"1982","unstructured":"C. Paige and M. Saunders. LSQR: An algorithm for sparse linear equations and sparse least squares. ACM Trans. Math. Soft., 8:43\u201371, 1982.","journal-title":"ACM Trans. Math. Soft"},{"key":"3_CR19","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1090\/S0025-5718-1979-0514820-3","volume":"33","author":"BN Parlett","year":"1979","unstructured":"B. N. Parlett and D. S. Scott. The Lanczos algorithm with selective orthogonalization. Math. Comput., 33:217\u2013238, 1979.","journal-title":"Math. Comput"},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"S. M. Rump. Validated solution of large linear systems. In R. Albrecht, G. Alefeld, and H. J. Stetter, editors, Validation Numeries, number 9 in Computing Supplementum, pages 191\u2013212. Springer Verlag, 1993.","DOI":"10.1007\/978-3-7091-6918-6_15"},{"key":"3_CR21","volume-title":"The Lanczos Algorithm for Solving Symmetrie Linear Systems","author":"HD Simon","year":"1982","unstructured":"H. D. Simon. The Lanczos Algorithm for Solving Symmetrie Linear Systems. PhD thesis, University of California, Berkeley, 1982."},{"key":"3_CR22","doi-asserted-by":"publisher","first-page":"535","DOI":"10.1016\/0024-3795(91)90393-B","volume":"154\/156","author":"Z Strakos","year":"1991","unstructured":"Z. Strakos. On the real convergence rate of the conjugate gradient method. Linear Algebra Appl., 154\/156:535\u2013549, 1991.","journal-title":"Linear Algebra Appl"},{"key":"3_CR23","volume-title":"The Algebraic Eigenvalue Problem","author":"JH Wilkinson","year":"1988","unstructured":"J. H. Wilkinson. The Aigebraic Eigenvalue Problem. Clarendon Press, Oxford, 1988."}],"container-title":["Perspectives on Enclosure Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-7091-6282-8_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T09:32:48Z","timestamp":1606123968000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-7091-6282-8_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783211835906","9783709162828"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-7091-6282-8_3","relation":{},"subject":[],"published":{"date-parts":[[2001]]}}}