The Arithmetic of the Digital Computer: A New Approach
From MaRDI portal
Publication:3730946
DOI10.1137/1028001zbMath0597.65037OpenAlexW2026891778WikidataQ59540742 ScholiaQ59540742MaRDI QIDQ3730946
Willard L. Miranker, Ulrich Kulisch
Publication date: 1986
Published in: SIAM Review (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1137/1028001
defect correctionautomatic error controlfloating-pointComputer arithmeticscientific computationsemimorphismValidationfully accurate inner productcomputation with guaranteesfloating- point arithmetic
Related Items (32)
Interval analysis and fuzzy set theory ⋮ Topological interpretation of fuzzy sets and intervals ⋮ Iterative methods for systems of equations with interval coefficients and linear form ⋮ Single level constraint interval arithmetic ⋮ Precise evaluation of a polynomial at a point given in staggered correction format ⋮ Convergence of Rump's method for inverting arbitrarily ill-conditioned matrices ⋮ Rigorous perturbation bounds for eigenvalues and eigenvectors of a matrix ⋮ Large-scale addition of machine real numbers: Accuracy estimates ⋮ Parallel accurate linear algebra subroutines ⋮ Algorithms for polynomials in Bernstein form ⋮ Two novel methodologies for considering aggregation functions by implicit equations and minimization problems ⋮ Best \(k\)-digit rational bounds for irrational numbers: pre- and super-computer era ⋮ Interval analysis techniques for boundary value problems of elasticity in two dimensions ⋮ Guaranteed inclusions for the complex generalized eigenproblem ⋮ High performance verified computing using C-XSC ⋮ Solvers for the verified solution of parametric linear systems ⋮ Applied computational geometry: Towards robust solutions of basic problems ⋮ Ultra-arithmetic. I: Function data types ⋮ Mixed Precision Block Fused Multiply-Add: Error Analysis and Application to GPU Tensor Cores ⋮ 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 ⋮ Multivariate rational data fitting: General data structure, maximal accuracy and object orientation ⋮ Shadowing and iterative interpolation for Čebyšev mixing transformations ⋮ A new approach to interval-valued probability measures, a formal method for consolidating the languages of information deficiency: foundations ⋮ Direct fail-proof triangularization algorithms for \(AX+XB=C\) with error- free and parallel implementations ⋮ Fast inclusion of interval matrix multiplication ⋮ Arithmetically improved algorithmic performance ⋮ Global optimization to prescribed accuracy ⋮ Minimizing roundoff errors of prefix sums via dynamic construction of Huffman trees ⋮ Multi-criteria decision making involving uncertain information via fuzzy ranking and fuzzy aggregation functions ⋮ Accurate scalar products and optimization
This page was built for publication: The Arithmetic of the Digital Computer: A New Approach
