Floating-point arithmetic on the test bench. How are verified numerical solutions calculated?
DOI10.1365/S13291-016-0138-1zbMATH Open1372.65140OpenAlexW2429814779MaRDI QIDQ335016FDOQ335016
Authors: Siegfried M. Rump 
Publication date: 2 November 2016
Published in: Jahresbericht der Deutschen Mathematiker-Vereinigung (DMV) (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1365/s13291-016-0138-1
Recommendations
Interval and finite arithmetic (65G30) Numerical algorithms for computer arithmetic, etc. (65Y04) Algorithms with automatic result verification (65G20)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Symmetry and related properties via the maximum principle
- Multiple solutions for a semilinear boundary value problem: a computational multiplicity proof.
- A polyhedral branch-and-cut approach to global optimization
- MPFR
- Rigorous Error Bounds for the Optimal Value in Semidefinite Programming
- Accuracy and Stability of Numerical Algorithms
- Verification methods: rigorous results using floating-point arithmetic
- Iterative Refinement Implies Numerical Stability for Gaussian Elimination
- Algorithm 755: ADOL-C
- Improved error bounds for inner products in floating-point arithmetic
- Improved backward error bounds for LU and Cholesky factorizations
- Theory of the motion of the celestial bodies moving around the Sun in conic sections
- Modern Error Analysis
- Numerical inverting of matrices of high order
- Interactive theorem proving and program development. Coq'Art: the calculus of inductive constructions. Foreword by Gérard Huet and Christine Paulin-Mohring.
- Inversion of extremely ill-conditioned matrices in floating-point
- HOL Light: An Overview
- Adaptive precision floating-point arithmetic and fast robust geometric predicates
- Error estimation of floating-point summation and dot product
- The SIAM 100-Digit Challenge: a decade later. Inspirations, ramifications, and other eddies left in its wake
- Title not available (Why is that?)
- The SIAM 100-Digit Challenge
- Affine arithmetic: concepts and applications
- A mathematical view of automatic differentiation
- The Problem of Integration in Finite Terms
- Accurate Sum and Dot Product
- ROUNDING-OFF ERRORS IN MATRIX PROCESSES
- Error analysis of floating-point computation
- Rump's example revisited
- Accurate solution of dense linear systems I: Algorithms in rounding to nearest
- A floating-point technique for extending the available precision
- The misfortunes of a trio of mathematicians using computer algebra systems. Can we trust in them?
- Title not available (Why is that?)
- Average-Case Stability of Gaussian Elimination
- Pitfalls of a Full Floating-Point Proof: Example on the Formal Proof of the Veltkamp/Dekker Algorithms
- Handbook of Floating-Point Arithmetic
- Title not available (Why is that?)
- Title not available (Why is that?)
- A generalization of \(p\)-boxes to affine arithmetic
- Title not available (Why is that?)
- Gaussian Elimination with Partial Pivoting Can Fail in Practice
- On the Sensitivity of Solution Components in Linear Systems of Equations
- Large Growth Factors in Gaussian Elimination with Pivoting
- Rundungsfehleranalyse einiger Verfahren zur Summation endlicher Summen
- A Collection of Problems for Which Gaussian Elimination with Partial Pivoting is Unstable
- Theorem Proving in Higher Order Logics
- Title not available (Why is that?)
- Some Comments from a Numerical Analyst
- Some New Methods in Matrix Calculation
- Numerical linear algebra. A concise introduction with MATLAB and Julia
- A remarkable example of catastrophic cancellation unraveled
Cited In (2)
Uses Software
This page was built for publication: Floating-point arithmetic on the test bench. How are verified numerical solutions calculated?
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q335016)
