Fast interval matrix multiplication
From MaRDI portal
Publication:451807
DOI10.1007/S11075-011-9524-ZzbMATH Open1264.65065OpenAlexW2126531109MaRDI QIDQ451807FDOQ451807
Authors: Siegfried M. Rump 
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
Recommendations
- Fast algorithms for floating-point interval matrix multiplication
- Fast inclusion of interval matrix multiplication
- Fast multiplication of interval matrices (Interval version of Strassen's algorithm)
- Fast and parallel interval arithmetic
- Error-free transformations of matrix multiplication by using fast routines of matrix multiplication and its applications
numerical examplesBLASerror analysisinterval arithmeticmatrix multiplicationinfimum-supremum representationinterval matrix productoptimal midpoint-radius representationoverestimationrmodeunit in the first place
Cites Work
- Title not available (Why is that?)
- PROFIL/BIAS - A fast interval library
- Title not available (Why is that?)
- Checking robust nonsingularity is NP-hard
- Interval Methods for Systems of Equations
- Accuracy and Stability of Numerical Algorithms
- A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid
- Verification methods: rigorous results using floating-point arithmetic
- A numerical approach to the proof of existence of solutions for elliptic problems
- Title not available (Why is that?)
- A set of level 3 basic linear algebra subprograms
- Circular arithmetic and the determination of polynomial zeros
- Accurate Floating-Point Summation Part I: Faithful Rounding
- Inversion of extremely ill-conditioned matrices in floating-point
- Error estimation of floating-point summation and dot product
- Fast and parallel interval arithmetic
- Existence and multiplicity proofs for semilinear elliptic boundary value problems by computer assistance
- A computer-assisted instability proof for the Orr-Sommerfeld problem with Poiseuille flow
- Pitfalls in Computation, or why a Math Book isn't Enough
- Handbook of Floating-Point Arithmetic
- Title not available (Why is that?)
- Fast verification of solutions of matrix equations
- A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems
- Numerical existence proofs and explicit bounds for solutions of nonlinear elliptic boundary value problems
- Title not available (Why is that?)
- How do you compute the midpoint of an interval?
- On accurate floating-point summation
Cited In (14)
- Fast rectangular matrix multiplication and applications
- Fast inclusion of interval matrix multiplication
- Interval tensors and their application in solving multi-linear systems of equations
- IEEE-754 precision-\(p\) base-\(\beta\) arithmetic implemented in binary
- Fast matrix multiplication is stable
- Faster Online Matrix-Vector Multiplication
- New formulae for multiplication of intervals
- Numerical Computations and Computer Assisted Proofs of Periodic Orbits of the Kuramoto--Sivashinsky Equation
- Fast algorithms for floating-point interval matrix multiplication
- Optimal multiplication of \(G\)-intervals
- Modified error bounds for approximate solutions of dense linear systems
- Fast multiplication of interval matrices (Interval version of Strassen's algorithm)
- Large-Scale Scientific Computing
- Fast Output-Sensitive Matrix Multiplication
Uses Software
This page was built for publication: Fast interval matrix multiplication
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q451807)
