The exact dot product as basic tool for long interval arithmetic
暂无分享,去创建一个
[1] U. Kulisch,et al. Scientific Computing with Automatic Result Verification. , 1994 .
[2] Hermann Schichl,et al. Vienna proposal for interval standardization , 2008 .
[3] Walter Krämer,et al. A Modified Staggered Correction Arithmetic with Enhanced Accuracy and Very Wide Exponent Range , 2009, Numerical Validation in Current Hardware Architectures.
[4] Siegfried M. Rump,et al. Convergence of Rump's method for inverting arbitrarily ill-conditioned matrices , 2007 .
[5] Wolfram Luther,et al. Numerical Validation in Current Hardware Architectures , 2009, Lecture Notes in Computer Science.
[6] Ulrich W. Kulisch,et al. Computer Arithmetic and Validity - Theory, Implementation, and Applications , 2008, de Gruyter studies in mathematics.
[7] Siegfried M. Rump,et al. Kleine Fehlerschranken bei Matrixproblemen , 1980 .
[8] C – XSC 2 . 0 – A C + + Class Library for Extended Scientific Computing , 2002 .
[9] G. Corliss,et al. C-Xsc: A C++ Class Library for Extended Scientific Computing , 1993 .
[10] Rudolf J. Lohner,et al. Interval Arithmetic in Staggered Correction Format , 1993 .