{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,8]],"date-time":"2025-09-08T05:42:05Z","timestamp":1757310125185},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"2-4","license":[{"start":{"date-parts":[[2011,11,17]],"date-time":"2011-11-17T00:00:00Z","timestamp":1321488000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computing"],"published-print":{"date-parts":[[2012,3]]},"DOI":"10.1007\/s00607-011-0170-z","type":"journal-article","created":{"date-parts":[[2011,11,16]],"date-time":"2011-11-16T21:30:18Z","timestamp":1321479018000},"page":"109-123","source":"Crossref","is-referenced-by-count":8,"title":["Solvers for the verified solution of parametric linear systems"],"prefix":"10.1007","volume":"94","author":[{"given":"Michael","family":"Zimmer","sequence":"first","affiliation":[]},{"given":"Walter","family":"Kr\u00e4mer","sequence":"additional","affiliation":[]},{"given":"Evgenija D.","family":"Popova","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2011,11,17]]},"reference":[{"key":"170_CR1","volume-title":"Introduction to interval computations","author":"G Alefeld","year":"1983","unstructured":"Alefeld G, Herzberger J (1983) Introduction to interval computations. Academic Press, New York"},{"key":"170_CR2","doi-asserted-by":"crossref","DOI":"10.1137\/1.9780898719604","volume-title":"LAPACK Users\u2019 guide","author":"E Anderson","year":"1999","unstructured":"Anderson E, Bai Z, Bischof C, Blackford S, Demmel J, Dongarra J, Du Croz J, Greenbaum A, Hammarling S, McKenney A, Sorensen D (1999) LAPACK Users\u2019 guide, 3rd edn. Society for Industrial and Applied Mathematics, Philadelphia","edition":"3"},{"key":"170_CR3","unstructured":"Behnke H (1989) Die Bestimmung von Eigenwertschranken mit Hilfe von Variationsmethoden und Intervallarithmetik. Dissertation, Inst. f\u00fcr Mathematik, TU Clausthal"},{"issue":"2","key":"170_CR4","doi-asserted-by":"crossref","first-page":"135","DOI":"10.1145\/567806.567807","volume":"28","author":"LS Blackford","year":"2002","unstructured":"Blackford LS, Demmel J, Dongarra J, Duff I, Hammarling S, Henry G, Heroux M, Kaufman L, Lumsdaine A, Petitet A, Pozo R, Remington K, Whaley RC (2002) An updated set of basic linear algebra subprograms (BLAS). ACM Trans Math Softw 28(2): 135\u2013151","journal-title":"ACM Trans Math Softw"},{"key":"170_CR5","doi-asserted-by":"crossref","unstructured":"Cuyt A et\u00a0al (eds) (2009) Numerical validation in current hardware architectures. In: Springer lecture notes in computer science (LNCS), vol 5492. Springer, Berlin","DOI":"10.1007\/978-3-642-01591-5"},{"key":"170_CR6","doi-asserted-by":"crossref","unstructured":"Dreyer A (2005) Interval analysis of analog circuits with component tolerances. Shaker Verlag, Aachen, Germany. Doctoral thesis, TU Kaiserslautern","DOI":"10.1109\/SCAN.2006.24"},{"key":"170_CR7","unstructured":"Hofschuster W, Kr\u00e4mer W (2004) C-XSC 2.0: a C++ library for extended scientific computing. Numerical software with result verification. Lecture notes in computer science, vol 2991\/200. Springer, Heidelberg, pp 15\u201335"},{"key":"170_CR8","doi-asserted-by":"crossref","DOI":"10.1142\/9789812832559","volume-title":"Interval methods for circuit analysis","author":"L Kolev","year":"1993","unstructured":"Kolev L (1993) Interval methods for circuit analysis. World Scientific, Singapore"},{"issue":"12","key":"170_CR9","first-page":"1","volume":"49","author":"L Kolev","year":"2002","unstructured":"Kolev L (2002) Worst-case tolerance analysis of linear DC and AC electric circuits. IEEE Trans Circ Syst 49(12): 1\u20139","journal-title":"IEEE Trans Circ Syst"},{"key":"170_CR10","doi-asserted-by":"crossref","unstructured":"Kr\u00e4mer W, Zimmer M (2009) Fast (parallel) dense linear interval system solvers in C-XSC using error free transformations and BLAS. In: Cuyt A et\u00a0al (eds) (2009) Numerical validation in current hardware architectures. Springer lecture notes in computer science (LNCS), vol 5492, pp 230\u2013249","DOI":"10.1007\/978-3-642-01591-5_15"},{"key":"170_CR11","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/BF02234767","volume":"4","author":"R Krawczyk","year":"1969","unstructured":"Krawczyk R (1969) Newton-Algorithmen zur Bestimmung von Nullstellen mit Fehlerschranken. Computing 4: 187\u2013201","journal-title":"Computing"},{"issue":"1","key":"170_CR12","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1137\/1028001","volume":"28","author":"U Kulisch","year":"1986","unstructured":"Kulisch U, Miranker W (1986) The arithmetic of the digital computer: a new approach. SIAM Rev 28(1): 1\u201340","journal-title":"SIAM Rev"},{"key":"170_CR13","unstructured":"Kulisch U (1997) Die fuenfte Gleitkommaoperation fuer Top-Performance Computer. Berichte aus dem Forschungsschwerpunkt Computerarithmetik, Intervallrechnung und numerische Algorithmen mit Ergebnisverifikation"},{"key":"170_CR14","doi-asserted-by":"crossref","first-page":"6","DOI":"10.1137\/030601818","volume":"26","author":"T Ogita","year":"2005","unstructured":"Ogita T, Rump SM, Oishi S (2005) Accurate sum and dot product. SIAM J Sci Comput 26: 6","journal-title":"SIAM J Sci Comput"},{"issue":"1\u20134","key":"170_CR15","doi-asserted-by":"crossref","first-page":"345","DOI":"10.1023\/B:NUMA.0000049480.57066.fa","volume":"37","author":"E Popova","year":"2004","unstructured":"Popova E (2004) Parametric interval linear solver. Numer Algorithms 37(1\u20134): 345\u2013356","journal-title":"Numer Algorithms"},{"issue":"2","key":"170_CR16","doi-asserted-by":"crossref","first-page":"310","DOI":"10.1016\/j.cam.2005.08.048","volume":"199","author":"E Popova","year":"2007","unstructured":"Popova E, Kr\u00e4mer W (2007) Inner and outer bounds for the solution set of parametric linear systems. J Comput Appl Math 199(2): 310\u2013316","journal-title":"J Comput Appl Math"},{"issue":"1","key":"170_CR17","doi-asserted-by":"crossref","first-page":"123","DOI":"10.55630\/sjc.2010.4.123-132","volume":"4","author":"E Popova","year":"2010","unstructured":"Popova E, Kolev L, Kr\u00e4mer W (2010) A solver for complex-valued parametric linear systems. Serdica J Comput 4(1): 123\u2013132","journal-title":"Serdica J Comput"},{"key":"170_CR18","doi-asserted-by":"crossref","first-page":"680","DOI":"10.1002\/pamm.200410321","volume":"4","author":"E Popova","year":"2004","unstructured":"Popova E (2004) Generalization of a parametric fixed-point iteration. PAMM: Proc Appl Math Mech 4: 680\u2013681","journal-title":"PAMM: Proc Appl Math Mech"},{"key":"170_CR19","unstructured":"Rump S (1994) Verification methods for dense and sparse systems of equations. In: Herzberger J (ed) Topics in validated computations. N. Holland, pp 63\u2013135"},{"key":"170_CR20","doi-asserted-by":"crossref","unstructured":"Rump SM (1999) Intlab: interval laboratory. In: Developments in reliable computing, pp 77\u2013104","DOI":"10.1007\/978-94-017-1247-7_7"},{"key":"170_CR21","unstructured":"Rump SM (1980) Kleine Fehlerschranken bei Matrixproblemen. PhD thesis, University of Karlsruhe"},{"key":"170_CR22","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1017\/S096249291000005X","volume":"19","author":"SM Rump","year":"2010","unstructured":"Rump SM (2010) Verification methods: rigorous results using floating-point arithmetic. Acta Numer 19: 287\u2013449","journal-title":"Acta Numer"},{"key":"170_CR23","unstructured":"Solver: http:\/\/www2.math.uni-wuppertal.de\/org\/WRST\/xsc\/cxsc_software.html . Accessed 1 Nov 2011"},{"key":"170_CR24","unstructured":"Zimmer M, Kr\u00e4mer W, Hofschuster W (2009) Sparse matrices and vectors in C-XSC. Preprint 2009\/7, Universit\u00e4t Wuppertal"},{"key":"170_CR25","unstructured":"Zimmer M, Kr\u00e4mer W, Hofschuster W (2009) Using C-XSC in high performance computing. Preprint 2009\/5, Universit\u00e4t Wuppertal, 2009. Revised version submitted"},{"issue":"3","key":"170_CR26","doi-asserted-by":"crossref","first-page":"349","DOI":"10.55630\/sjc.2010.4.349-370","volume":"4","author":"M Zimmer","year":"2010","unstructured":"Zimmer M, Kr\u00e4mer W, Bohlender G, Hofschuster W (2010) Extension of the C-XSC Library with scalar products with selectable accuracy. Serdica J Comput 4(3): 349\u2013370","journal-title":"Serdica J Comput"}],"container-title":["Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00607-011-0170-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s00607-011-0170-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s00607-011-0170-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,11]],"date-time":"2023-06-11T05:09:24Z","timestamp":1686460164000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00607-011-0170-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,11,17]]},"references-count":26,"journal-issue":{"issue":"2-4","published-print":{"date-parts":[[2012,3]]}},"alternative-id":["170"],"URL":"https:\/\/doi.org\/10.1007\/s00607-011-0170-z","relation":{},"ISSN":["0010-485X","1436-5057"],"issn-type":[{"value":"0010-485X","type":"print"},{"value":"1436-5057","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011,11,17]]}}}