A method of obtaining verified solutions for linear systems suited for Java-Reference-Cited by-同舟云学术

A method of obtaining verified solutions for linear systems suited for Java

Published:2007-02 Issue:2 Volume:199 Page:337-344
ISSN:0377-0427
Container-title:Journal of Computational and Applied Mathematics
language:en
Short-container-title:Journal of Computational and Applied Mathematics

Author:

Ozaki K.,Ogita T.,Miyajima S.,Oishi S.,Rump S.M.

Publisher

Elsevier BV

Subject

Applied Mathematics,Computational Mathematics

Reference14 articles.

1. ANSI/IEEE, IEEE Standard for Binary Floating Point Arithmetic, Std 754–1985 edition, IEEE, New York, 1985.

2. B. Blount, JLAPACK—The LAPACK library in Java. 〈http://www.cs.unc.edu/Research/HARPOON/jlapack/〉.

3. A floating-point technique for extending the available precision;Dekker;Numer. Math.,1971

4. S. Flynn-Hummel, V. Getov, F. Irigoin, Ch. Lengauer, High performance computing and Java, Report No. 284, Report of the Dagstuhl Seminar 00341, 2000.

5. Matrix Computations;Golub,1996

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

1. Verified numerical computations for large-scale linear systems;Applications of Mathematics;2021-01-15

2. Accurate solution of dense linear systems, part I: Algorithms in rounding to nearest;Journal of Computational and Applied Mathematics;2013-04

3. Verification methods for linear systems using ufp estimation with rounding-to-nearest;Nonlinear Theory and Its Applications, IEICE;2013

4. Tinkerbell Is Chaotic;SIAM Journal on Applied Dynamical Systems;2011-01

5. Fast enclosure for solutions in underdetermined systems;Journal of Computational and Applied Mathematics;2010-10