{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,8]],"date-time":"2025-09-08T05:33:13Z","timestamp":1757309593067},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540319948"},{"type":"electronic","value":"9783540319955"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11666806_34","type":"book-chapter","created":{"date-parts":[[2006,2,14]],"date-time":"2006-02-14T22:09:49Z","timestamp":1139954989000},"page":"305-312","source":"Crossref","is-referenced-by-count":11,"title":["Improved Solution Enclosures for Over- and Underdetermined Interval Linear Systems"],"prefix":"10.1007","author":[{"given":"Evgenija D.","family":"Popova","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"34_CR1","unstructured":"H\u00f6lbig, C., Kr\u00e4mer, W.: Selfverifying Solvers for Dense Systems of Linear Equations Realized in C-XSC. Universit\u00e4t Wuppertal, Preprint BUGHW-WRSWT 2003\/1 (2003), http:\/\/www.math.uni-wuppertal.de\/wrswt\/literatur.html"},{"key":"34_CR2","doi-asserted-by":"crossref","unstructured":"Kr\u00e4mer, W., Kulisch, U., Lohner, R.: Numerical Toolbox for Verified Computing II \u2013 Advanced Numerical Problems. Universit\u00e4t Karlsruhe (1994), http:\/\/www.uni-karlsruhe.de\/~Rudolf.Lohner\/papers\/tb2.ps.gz","DOI":"10.1007\/978-3-642-78423-1"},{"key":"34_CR3","doi-asserted-by":"crossref","DOI":"10.1137\/1.9781611970906","volume-title":"Methods and Applications of Interval Analysis.","author":"R. Moore","year":"1979","unstructured":"Moore, R.: Methods and Applications of Interval Analysis. SIAM, Philadelphia (1979)"},{"key":"34_CR4","unstructured":"Popova, E.D., Kr\u00e4mer, W.: Parametric Fixed-Point Iteration Implemented in CXSC, Preprint 2003\/03, WRSWT, Universit\u00e4t Wuppertal (2003)"},{"key":"34_CR5","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1023\/B:NUMA.0000049480.57066.fa","volume":"37","author":"E. Popova","year":"2004","unstructured":"Popova, E.: Parametric Interval Linear Solver. Numerical Algorithms\u00a037, 1\u20134, 345\u2013356 (2004)","journal-title":"Numerical Algorithms"},{"key":"34_CR6","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1016\/B978-0-12-428660-3.50010-0","volume-title":"A New Approach in Scientific Computation","author":"S. Rump","year":"1983","unstructured":"Rump, S.: Solving Algebraic Problems with High Accuracy. In: Kulisch, U., Miranker, W. (eds.) A New Approach in Scientific Computation, pp. 51\u2013120. Academic Press, London (1983)"},{"issue":"190","key":"34_CR7","doi-asserted-by":"publisher","first-page":"721","DOI":"10.1090\/S0025-5718-1990-1011445-5","volume":"54","author":"S.M. Rump","year":"1990","unstructured":"Rump, S.M.: Rigorous Sensistivity Analysis for Systems of Linear and Nonlinear Equations. Mathematics of Computation\u00a054(190), 721\u2013736 (1990)","journal-title":"Mathematics of Computation"},{"key":"34_CR8","first-page":"63","volume-title":"Topics in Validated Computations","author":"S.M. Rump","year":"1994","unstructured":"Rump, S.M.: Verification Methods for Dense and Sparse Systems of Equations. In: Herzberger, J. (ed.) Topics in Validated Computations, pp. 63\u2013135. Elsevier Science B. V, Amsterdam (1994)"},{"key":"34_CR9","volume-title":"Introduction to Matrix Computations","author":"G.H. Stewart","year":"1973","unstructured":"Stewart, G.H.: Introduction to Matrix Computations. Academic Press, London (1973)"},{"key":"34_CR10","doi-asserted-by":"crossref","unstructured":"Wolfram, S.: The Mathematica Book. Wolfram Media\/Cambridge U. Press (1999)","DOI":"10.1108\/aa.1999.19.1.77.1"},{"key":"34_CR11","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/BF02238196","volume":"36","author":"G. Zielke","year":"1986","unstructured":"Zielke, G.: Report on test matrices for generalized inverses. Computing\u00a036, 105\u2013162 (1986)","journal-title":"Computing"},{"key":"34_CR12","unstructured":"Zielke, G., Drygalla, V.: Genaue L\u00f6sung linearer Gleichungssyteme, Mitteilungen der GAMM 26, Heft 1\/2, 7\u2013107 (2003)"}],"container-title":["Lecture Notes in Computer Science","Large-Scale Scientific Computing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11666806_34.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,6]],"date-time":"2023-05-06T09:48:32Z","timestamp":1683366512000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11666806_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540319948","9783540319955"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/11666806_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}