Enclosing all eigenvalues of symmetric matrices
Accurate numerical algorithms
Algorithm 693: a FORTRAN package for floating-point multiple-precision arithmetic
ACM Transactions on Mathematical Software (TOMS)
What do we need beyond IEEE arithmetic?
Computer arithmetic and self-validating numerical methods
A Fortran Multiple-Precision Arithmetic Package
ACM Transactions on Mathematical Software (TOMS)
Numerical computing with IEEE floating point arithmetic
Numerical computing with IEEE floating point arithmetic
C++ Toolbox for Verified Scientific Computing - Theory, Algorithms and Programs: Basic Numerical Problems
C-XSC: A C++ Class Library for Extended Scientific Computing
C-XSC: A C++ Class Library for Extended Scientific Computing
NIST Digital Library of Mathematical Functions
Annals of Mathematics and Artificial Intelligence
Advanced Arithmetic for the Digital Computer: Design of Arithmetic Units
Advanced Arithmetic for the Digital Computer: Design of Arithmetic Units
SIAM Journal on Scientific Computing
Elementary Functions: Algorithms and Implementation
Elementary Functions: Algorithms and Implementation
Complex standard functions and their implementation in the CoStLy library
ACM Transactions on Mathematical Software (TOMS)
MPFR: A multiple-precision binary floating-point library with correct rounding
ACM Transactions on Mathematical Software (TOMS)
Handbook of Continued Fractions for Special Functions
Handbook of Continued Fractions for Special Functions
C-XSC and Closely Related Software Packages
Numerical Validation in Current Hardware Architectures
Comments on fast and exact accumulation of products
PARA'10 Proceedings of the 10th international conference on Applied Parallel and Scientific Computing - Volume 2
Using C-XSC for high performance verified computing
PARA'10 Proceedings of the 10th international conference on Applied Parallel and Scientific Computing - Volume 2
Arbitrary precision complex interval computations in C-XSC
PPAM'11 Proceedings of the 9th international conference on Parallel Processing and Applied Mathematics - Volume Part II
Hi-index | 0.00 |
A so called staggered precision arithmetic is a special kind of a multiple precision arithmetic based on the underlying floating point data format (typically IEEE double format) and fast floating point operations as well as exact dot product computations. Due to floating point limitations it is not an arbitrary precision arithmetic. However, it typically allows computations using several hundred mantissa digits. A set of new modified staggered arithmetics for real and complex data as well as for real interval and complex interval data with very wide exponent range is presented. Some applications will show the increased accuracy of computed results compared to ordinary staggered interval computations. The very wide exponent range of the new arithmetic operations allows computations far beyond the IEEE data formats. The new modified staggered arithmetics would be extremely fast if an exact dot product was available in hardware (the fused accumulate and add instruction is only one step in this direction). This paper describes work in progress. Updates of the software as well as additional documentation may be downloaded from our web site http://www. math.uni-wuppertal.de/~xsc