{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,10,26]],"date-time":"2023-10-26T22:59:51Z","timestamp":1698361191850},"reference-count":19,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1982,9,1]],"date-time":"1982-09-01T00:00:00Z","timestamp":399686400000},"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":[[1982,9]]},"DOI":"10.1007\/bf02241697","type":"journal-article","created":{"date-parts":[[2005,11,15]],"date-time":"2005-11-15T04:27:02Z","timestamp":1132028822000},"page":"183-200","source":"Crossref","is-referenced-by-count":20,"title":["Solving nonlinear systems with least significant bit accuracy"],"prefix":"10.1007","volume":"29","author":[{"given":"S. M.","family":"Rump","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"BF02241697_CR1","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1017\/S0334270000001077","volume":"19","author":"J. P. Abbott","year":"1975","unstructured":"Abbott, J. P., Brent, R. P.: Fast local convergence with single and multistep methods for nonlinear equations. Austr. Math. Soc.19, 173\u2013199 (1975).","journal-title":"Austr. Math. Soc."},{"key":"BF02241697_CR2","volume-title":"Einf\u00fchrung in die Intervallrechnung","author":"G. Alefeld","year":"1974","unstructured":"Alefeld, G., Herzberger, J.: Einf\u00fchrung in die Intervallrechnung. Mannheim-Wien-Z\u00fcrich: Bibl. Inst. 1974."},{"key":"BF02241697_CR3","doi-asserted-by":"crossref","unstructured":"Bohlender, G.: Floating-point computation of functions with maximum accuracy. IEEE Trans. on Computers1977, 621.","DOI":"10.1109\/TC.1977.1674894"},{"key":"BF02241697_CR4","unstructured":"B\u00f6hm, H.: Berechnung von Schranken f\u00fcr Polynomwurzeln mit dem Fixpunktsatz von Brouwer. Interner Bericht des Inst. f. Angew. Math., Universit\u00e4t Karlsruhe, 1980."},{"key":"BF02241697_CR5","first-page":"134","volume-title":"Lecture Notes in Computer Science, Vol. 33","author":"G. E. Collins","year":"1975","unstructured":"Collins, G. E.: Quantifier elimination for real closed fields by cylindrical algebraic decomposition (Lecture Notes in Computer Science, Vol. 33), pp. 134\u2013183. Berlin-Heidelberg-New York: Springer 1975."},{"key":"BF02241697_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-322-85864-1","volume-title":"Lineare numerische Analysis","author":"N. Gastinel","year":"1972","unstructured":"Gastinel, N.: Lineare numerische Analysis. Braunschweig: F. Vieweg & Sohn 1972."},{"key":"BF02241697_CR7","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1007\/BF02281719","volume":"24","author":"E. Kaucher","year":"1980","unstructured":"Kaucher, E., Rump, S. M.: Generalized iteration methods for bounds of the solution of fixed-point operator equations. Computing24, 131\u2013137 (1980).","journal-title":"Computing"},{"key":"BF02241697_CR8","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1007\/BF02237993","volume":"28","author":"E. Kaucher","year":"1982","unstructured":"Kaucher, E., Rump, S. M.: E-methods for fixed point equations. Computing28, 31\u201342 (1982).","journal-title":"Computing"},{"key":"BF02241697_CR9","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1007\/BF02234767","volume":"4","author":"R. Krawczyk","year":"1969","unstructured":"Krawczyk, R.: Newton-Algorithmen zur Bestimmung von Nullstellen mit Fehlerschranken. Computing4, 187\u2013210 (1969).","journal-title":"Computing"},{"key":"BF02241697_CR10","doi-asserted-by":"crossref","first-page":"175","DOI":"10.1007\/BF02259643","volume":"25","author":"D. K\u00f6berl","year":"1980","unstructured":"K\u00f6berl, D.: The solution of non-linear equations by the computation of fixed points with a modification of the sandwich method. Computing25, 175\u2013178 (1980).","journal-title":"Computing"},{"key":"BF02241697_CR11","doi-asserted-by":"crossref","unstructured":"Kulisch, U., Miranker, W.: Computer arithmetic in theory and practice. Academic Press 1981.","DOI":"10.1016\/B978-0-12-428650-4.50009-9"},{"key":"BF02241697_CR12","doi-asserted-by":"crossref","first-page":"501","DOI":"10.1007\/BF01933643","volume":"20","author":"J. M. Martinez","year":"1980","unstructured":"Martinez, J. M.: Solving nonlinear simultaneous equations with a generalization of Brent's method.BIT 20, 501\u2013510 (1980).","journal-title":"BIT"},{"key":"BF02241697_CR13","doi-asserted-by":"crossref","unstructured":"Moore, R. E.: A test for existence of solutions for non-linear systems. SIAM J. Numer. Anal.4 (1977).","DOI":"10.1137\/0714040"},{"key":"BF02241697_CR14","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1145\/355815.355820","volume":"5","author":"J. J. Mor\u00e9","year":"1979","unstructured":"Mor\u00e9, J. J., Cosnard, M. Y.: Numerical solution of nonlinear equations. ACM Trans. on Math. Software,5, 64\u201385 (1979).","journal-title":"ACM Trans. on Math. Software"},{"key":"BF02241697_CR15","unstructured":"Rump, S. M.: Kleine Fehlerschranken bei Matrixproblemen. Dr.-Dissertation, Inst. f. Angew. Math., Universit\u00e4t Karlsruhe, Februar 1980."},{"key":"BF02241697_CR16","doi-asserted-by":"crossref","first-page":"327","DOI":"10.1090\/S0025-5718-1979-0514828-8","volume":"33","author":"S. M. Rump","year":"1979","unstructured":"Rump, S. M.: Polynomial minimum root separation. Math. of Comp.33, 327\u2013336 (1979).","journal-title":"Math. of Comp."},{"key":"BF02241697_CR17","volume-title":"Small bounds for the solution of systems of linear equations. Computing, Suppl. 2","author":"S. M. Rump","year":"1980","unstructured":"Rump, S. M., Kaucher, E.: Small bounds for the solution of systems of linear equations. Computing, Suppl. 2. Wien-New York: Springer 1980."},{"key":"BF02241697_CR18","volume-title":"Matrix iterative analysis","author":"R. S. Varga","year":"1962","unstructured":"Varga, R. S.: Matrix iterative analysis. Englewood Cliffs, N. J.: Prentice-Hall 1962."},{"key":"BF02241697_CR19","unstructured":"Rump, S. M., B\u00f6hm, H.: Least significant bit evaluation of arithmetic expressions in single precision (to appear in Computing)."}],"container-title":["Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02241697.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02241697\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02241697","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T22:22:03Z","timestamp":1586557323000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02241697"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1982,9]]},"references-count":19,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1982,9]]}},"alternative-id":["BF02241697"],"URL":"https:\/\/doi.org\/10.1007\/bf02241697","relation":{},"ISSN":["0010-485X","1436-5057"],"issn-type":[{"value":"0010-485X","type":"print"},{"value":"1436-5057","type":"electronic"}],"subject":[],"published":{"date-parts":[[1982,9]]}}}