{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:22:46Z","timestamp":1725664966503},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540625988"},{"type":"electronic","value":"9783540683261"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-62598-4_88","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:44:19Z","timestamp":1330296259000},"page":"142-149","source":"Crossref","is-referenced-by-count":0,"title":["Verified solving of linear systems with uncertainties in Maple"],"prefix":"10.1007","author":[{"given":"Nelli S.","family":"Dimitrova","sequence":"first","affiliation":[]},{"given":"Christian P.","family":"Ullrich","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"Char, B. W., Geddes, K. O., Gonnet, G. H., Leong, B. L., Monagan, M. B., Watt, S. M.: Maple V Language Reference Manual. Springer Verlag (1991)","DOI":"10.1007\/978-1-4615-7386-9"},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"Char, B. W., Geddes, K. O., Gonnet, G. H., Leong, B. L., Monagan, M. B., Watt, S. M.: First Leaves: A Tutorial Introduction to Maple V. Springer Verlag (1992)","DOI":"10.1007\/978-1-4615-6996-1"},{"key":"17_CR3","unstructured":"Maple V Release 3 for DOS and Windows. Getting started. Waterloo Maple Software (1994)"},{"key":"17_CR4","first-page":"120","volume":"2","author":"A. E. Connel","year":"1993","unstructured":"Connel, A. E., Corless, R. M.: An Experimental Interval Arithmetic Package in Maple. Interval Computations 2 (1993) 120\u2013134","journal-title":"Interval Computations"},{"key":"17_CR5","volume-title":"PhD Thesis","author":"C. Falc\u00f3 Korn","year":"1993","unstructured":"Falc\u00f3 Korn, C.: Die Erweiterung von Software-Bibliotheken zur effizienten Verifikation der Approximationsl\u00f6sung linearer Gleichungssysteme. PhD Thesis, Institut f\u00fcr Informatik, Universit\u00e4t Basel, Switzerland (1993)"},{"key":"17_CR6","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1016\/0378-4754(94)00133-5","volume":"39","author":"C. Falc\u00f3 Korn","year":"1995","unstructured":"Falc\u00f3 Korn, C., Ullrich, C. P.: Extending LINPACK by Verification Routines for Linear Systems. Mathematics and Computers in Simulation 39 (1995) 21\u201337","journal-title":"Mathematics and Computers in Simulation"},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"Falc\u00f3 Korn, C., H\u00f6rmann, B., Ullrich, C. P.: Verification may be Better than Estimation. To appear in SIAM Journal on Scientific Computing (1996) 6 pages","DOI":"10.1137\/0917065"},{"key":"17_CR8","unstructured":"Hammer, R., Hocks, M., Kulisch, U., Ratz, D.: Numerical Toolbox for Verified Computing. Basic Numerical Problems; Theory, Algorithms and Pascal-XSC Programs. Springer Verlag (1993)"},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"Neumaier, A.: Interval Methods for Systems of Equations. Cambridge University Press (1990)","DOI":"10.1017\/CBO9780511526473"},{"issue":"3","key":"17_CR10","first-page":"22","volume":"1","author":"S. M. Rump","year":"1992","unstructured":"Rump, S. M.: Inclusion of the Solution of Large Linear Systems with M-matrix. Interval Computations 1(3) (1992) 22\u201343","journal-title":"Interval Computations"},{"key":"17_CR11","doi-asserted-by":"crossref","unstructured":"Stoer, J.: Einf\u00fchrung in die numerische Mathematik I \u2014 vierte Auflage. Springer Verlag (1978)","DOI":"10.1007\/978-3-662-06866-3"}],"container-title":["Lecture Notes in Computer Science","Numerical Analysis and Its Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-62598-4_88.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:13:40Z","timestamp":1605647620000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-62598-4_88"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540625988","9783540683261"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-62598-4_88","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}