Solving nonlinear systems with least significant bit accuracy-Reference-Cited by-同舟云学术

Solving nonlinear systems with least significant bit accuracy

Published:1982-09 Issue:3 Volume:29 Page:183-200
ISSN:0010-485X
Container-title:Computing
language:en
Short-container-title:Computing

Author:

Rump S. M.

Publisher

Springer Science and Business Media LLC

Subject

Computational Mathematics,Computational Theory and Mathematics,Computer Science Applications,Numerical Analysis,Theoretical Computer Science,Software

Link

http://link.springer.com/content/pdf/10.1007/BF02241697.pdf

Reference19 articles.

1. Abbott, J. P., Brent, R. P.: Fast local convergence with single and multistep methods for nonlinear equations. Austr. Math. Soc.19, 173–199 (1975).

2. Alefeld, G., Herzberger, J.: Einführung in die Intervallrechnung. Mannheim-Wien-Zürich: Bibl. Inst. 1974.

3. Bohlender, G.: Floating-point computation of functions with maximum accuracy. IEEE Trans. on Computers1977, 621.

4. Böhm, H.: Berechnung von Schranken für Polynomwurzeln mit dem Fixpunktsatz von Brouwer. Interner Bericht des Inst. f. Angew. Math., Universität Karlsruhe, 1980.

5. Collins, G. E.: Quantifier elimination for real closed fields by cylindrical algebraic decomposition (Lecture Notes in Computer Science, Vol. 33), pp. 134–183. Berlin-Heidelberg-New York: Springer 1975.

Cited by 21 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A framework for existence tests based on the topological degree and homotopy;Numerische Mathematik;2008-11-26

2. Computer Arithmetic and Validity;DEGRUYTER STUD MATH;2008-08-27

3. A circuit for exact summation of floating-point numbers;Information Processing Letters;1996-02

4. Numerical validation method for nonlinear equations using interval analysis and rational arithmetic;Electronics and Communications in Japan (Part III: Fundamental Electronic Science);1995-07

5. Verified solution of large systems and global optimization problems;Journal of Computational and Applied Mathematics;1995-06