Fast interval matrix multiplication
From MaRDI portal
Publication:451807
DOI10.1007/s11075-011-9524-zzbMath1264.65065OpenAlexW2126531109MaRDI QIDQ451807
Publication date: 24 September 2012
Published in: Numerical Algorithms (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11075-011-9524-z
numerical exampleserror analysisinterval arithmeticoverestimationmatrix multiplicationBLASinfimum-supremum representationinterval matrix productoptimal midpoint-radius representationrmodeunit in the first place
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (4)
Fast algorithms for floating-point interval matrix multiplication ⋮ Interval tensors and their application in solving multi-linear systems of equations ⋮ Modified error bounds for approximate solutions of dense linear systems ⋮ Numerical Computations and Computer Assisted Proofs of Periodic Orbits of the Kuramoto--Sivashinsky Equation
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Error estimation of floating-point summation and dot product
- Inversion of extremely ill-conditioned matrices in floating-point
- Existence and multiplicity proofs for semilinear elliptic boundary value problems by computer assistance
- Numerical existence proofs and explicit bounds for solutions of nonlinear elliptic boundary value problems
- Fast and parallel interval arithmetic
- PROFIL/BIAS - A fast interval library
- Fast verification of solutions of matrix equations
- Checking robust nonsingularity is NP-hard
- A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid
- A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems
- Circular arithmetic and the determination of polynomial zeros
- Verification methods: Rigorous results using floating-point arithmetic
- A numerical approach to the proof of existence of solutions for elliptic problems
- A computer-assisted instability proof for the Orr-Sommerfeld problem with Poiseuille flow
- Handbook of Floating-Point Arithmetic
- Interval Methods for Systems of Equations
- A set of level 3 basic linear algebra subprograms
- Accuracy and Stability of Numerical Algorithms
- Accurate Floating-Point Summation Part I: Faithful Rounding
- How do you compute the midpoint of an interval?
- Pitfalls in Computation, or why a Math Book isn't Enough
- On accurate floating-point summation
This page was built for publication: Fast interval matrix multiplication
