The Arithmetic of the Digital Computer: A New Approach
From MaRDI portal
Publication:3730946
DOI10.1137/1028001zbMath0597.65037WikidataQ59540742 ScholiaQ59540742MaRDI QIDQ3730946
Ulrich Kulisch, Willard L. Miranker
Publication date: 1986
Published in: SIAM Review (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1137/1028001
defect correction; automatic error control; floating-point; Computer arithmetic; scientific computation; semimorphism; Validation; fully accurate inner product; computation with guarantees; floating- point arithmetic
Related Items
Minimizing roundoff errors of prefix sums via dynamic construction of Huffman trees, Multivariate rational data fitting: General data structure, maximal accuracy and object orientation, Interval analysis techniques for boundary value problems of elasticity in two dimensions, Applied computational geometry: Towards robust solutions of basic problems, Iterative methods for systems of equations with interval coefficients and linear form, Algorithms for polynomials in Bernstein form, Guaranteed inclusions for the complex generalized eigenproblem, Ultra-arithmetic. I: Function data types, Solving nonlinear parabolic problems with result verification. I: One- space dimensional case, What can interval analysis do for global optimization?, Robust parallel computation in floating-point and SLI arithmetic, Shadowing and iterative interpolation for Čebyšev mixing transformations, Direct fail-proof triangularization algorithms for \(AX+XB=C\) with error- free and parallel implementations, Accurate scalar products and optimization, Precise evaluation of a polynomial at a point given in staggered correction format, Large-scale addition of machine real numbers: Accuracy estimates, Interval analysis and fuzzy set theory, Topological interpretation of fuzzy sets and intervals, Rigorous perturbation bounds for eigenvalues and eigenvectors of a matrix, Parallel accurate linear algebra subroutines, Arithmetically improved algorithmic performance, Global optimization to prescribed accuracy, Convergence of Rump's method for inverting arbitrarily ill-conditioned matrices, Fast inclusion of interval matrix multiplication
