Computing Enclosures for the Matrix Exponential
From MaRDI portal
Publication:5146627
DOI10.1137/19M1263431zbMath1459.65056OpenAlexW3106492636WikidataQ115525571 ScholiaQ115525571MaRDI QIDQ5146627
Andreas Frommer, Behnam Hashemi
Publication date: 26 January 2021
Published in: SIAM Journal on Matrix Analysis and Applications (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1137/19m1263431
Algorithms with automatic result verification (65G20) Matrix exponential and similar functions of matrices (15A16) Numerical computation of matrix exponential and similar matrix functions (65F60)
Related Items
Computing enclosures for the matrix Mittag-Leffler function, Fast verified computation for real powers of large matrices with Kronecker structure, Computing the spectral decomposition of interval matrices and a study on interval matrix powers
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Interval analysis and automatic result verification
- Efficient orthogonal matrix polynomial based method for computing matrix exponential
- Verified bounds for singular values, in particular for the spectral norm of a matrix and its inverse
- Matrix exponentials and parallel prefix computation in a quantum control problem
- Generalized Trotter's formula and systematic approximants of exponential operators and inner derivations with applications to many-body problems
- A self-validating numerical method for the matrix exponential
- Fast and parallel interval arithmetic
- Enclosing clusters of zeros of polynomials
- Ten methods to bound multiple roots of polynomials
- Efficient evaluation of matrix polynomials
- Accurate solution of dense linear systems. II: Algorithms using directed rounding
- Boosting the computation of the matrix exponential
- Newton-Algorithmen zur Bestimmung von Nullstellen mit Fehlerschranken
- Verified computation of the matrix exponential
- Simultaneous self-verified computation of exp(A) and \(\int_{0}^{1}\exp (As)ds\)
- Verification methods: Rigorous results using floating-point arithmetic
- Aggressively Truncated Taylor Series Method for Accurate Computation of Exponentials of Essentially Nonnegative Matrices
- The Exponentially Convergent Trapezoidal Rule
- An Algorithm for Computing Reducing Subspaces by Block Diagonalization
- On Higher Order Stable Implicit Methods for Solving Parabolic Partial Differential Equations
- Approximate Diagonalization
- A New Scaling and Squaring Algorithm for the Matrix Exponential
- Introduction to Interval Analysis
- The Scaling and Squaring Method for the Matrix Exponential Revisited
- Numerical Computation of the Matrix Exponential with Accuracy Estimate
- Nineteen Dubious Ways to Compute the Exponential of a Matrix
- Numerical Integration of Periodic Functions: A Few Examples
- Nineteen Dubious Ways to Compute the Exponential of a Matrix, Twenty-Five Years Later
- A Schur-Parlett Algorithm for Computing Matrix Functions
- Arb: Efficient Arbitrary-Precision Midpoint-Radius Interval Arithmetic
- Accuracy and Stability of Numerical Algorithms
- Enclosing Chebyshev Expansions in Linear Time
- Accurate Floating-Point Summation Part I: Faithful Rounding
- Numerical Software with Result Verification
- The Scaling and Squaring Method for the Matrix Exponential Revisited
- Functions of Matrices
- On the Number of Nonscalar Multiplications Necessary to Evaluate Polynomials
- Two polynomial methods of calculating functions of symmetric matrices
