Floating-point arithmetic on the test bench. How are verified numerical solutions calculated?
From MaRDI portal
Publication:335016
Recommendations
Cites work
- scientific article; zbMATH DE number 3145284 (Why is no real title available?)
- scientific article; zbMATH DE number 4084894 (Why is no real title available?)
- scientific article; zbMATH DE number 3682951 (Why is no real title available?)
- scientific article; zbMATH DE number 46118 (Why is no real title available?)
- scientific article; zbMATH DE number 47363 (Why is no real title available?)
- scientific article; zbMATH DE number 653037 (Why is no real title available?)
- scientific article; zbMATH DE number 1052006 (Why is no real title available?)
- scientific article; zbMATH DE number 6159604 (Why is no real title available?)
- scientific article; zbMATH DE number 1440908 (Why is no real title available?)
- scientific article; zbMATH DE number 3244593 (Why is no real title available?)
- scientific article; zbMATH DE number 3281219 (Why is no real title available?)
- A Collection of Problems for Which Gaussian Elimination with Partial Pivoting is Unstable
- A floating-point technique for extending the available precision
- A generalization of \(p\)-boxes to affine arithmetic
- A mathematical view of automatic differentiation
- A polyhedral branch-and-cut approach to global optimization
- A remarkable example of catastrophic cancellation unraveled
- Accuracy and Stability of Numerical Algorithms
- Accurate Sum and Dot Product
- Accurate solution of dense linear systems I: Algorithms in rounding to nearest
- Adaptive precision floating-point arithmetic and fast robust geometric predicates
- Affine arithmetic: concepts and applications
- Algorithm 755: ADOL-C
- Average-Case Stability of Gaussian Elimination
- Error analysis of floating-point computation
- Error estimation of floating-point summation and dot product
- Gaussian Elimination with Partial Pivoting Can Fail in Practice
- HOL Light: An Overview
- Handbook of Floating-Point Arithmetic
- Improved backward error bounds for LU and Cholesky factorizations
- Improved error bounds for inner products in floating-point arithmetic
- 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
- Iterative Refinement Implies Numerical Stability for Gaussian Elimination
- Large Growth Factors in Gaussian Elimination with Pivoting
- MPFR
- Modern Error Analysis
- Multiple solutions for a semilinear boundary value problem: a computational multiplicity proof.
- Numerical inverting of matrices of high order
- Numerical linear algebra. A concise introduction with MATLAB and Julia
- On the Sensitivity of Solution Components in Linear Systems of Equations
- Pitfalls of a Full Floating-Point Proof: Example on the Formal Proof of the Veltkamp/Dekker Algorithms
- ROUNDING-OFF ERRORS IN MATRIX PROCESSES
- Rigorous Error Bounds for the Optimal Value in Semidefinite Programming
- Rump's example revisited
- Rundungsfehleranalyse einiger Verfahren zur Summation endlicher Summen
- Some Comments from a Numerical Analyst
- Some New Methods in Matrix Calculation
- Symmetry and related properties via the maximum principle
- The Problem of Integration in Finite Terms
- The SIAM 100-Digit Challenge
- The SIAM 100-Digit Challenge: a decade later. Inspirations, ramifications, and other eddies left in its wake
- The misfortunes of a trio of mathematicians using computer algebra systems. Can we trust in them?
- Theorem Proving in Higher Order Logics
- Theory of the motion of the celestial bodies moving around the Sun in conic sections
- Verification methods: rigorous results using floating-point arithmetic
Cited in
(2)
Describes a project that uses
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)
