Verified computation of matrix gamma function

DOI10.1080/03081087.2020.1757602zbMath1497.65082arXiv2001.06623OpenAlexW3021889119MaRDI QIDQ5073022

Shinya Miyajima

Publication date: 5 May 2022

Published in: Linear and Multilinear Algebra (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2001.06623

zbMATH Keywords

verified numerical computationverified block diagonalizationmatrix gamma function

Mathematics Subject Classification ID

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

Fast verified computation for real powers of large matrices with Kronecker structure, Investigation for the k -analogue of τ -Gauss hypergeometric matrix functions and associated fractional calculus, Krylov Subspace Restarting for Matrix Laplace Transforms, On degenerate gamma matrix functions and related functions

Uses Software

• INTLAB
• VERSOFT
• NACLab
• mftoolbox

Cites Work

• Unnamed Item
• Unnamed Item
• Methods for verified stabilizing solutions to continuous-time algebraic Riccati equations
• Verified error bounds for solutions of Sylvester matrix equations
• On interval systems \([x = [A][x] + [b]\) and the powers of interval matrices in complex interval arithmetics]
• A self-validating numerical method for the matrix exponential
• Fast verified computation for the matrix principal \(p\)th root
• Computation of matrix gamma function
• Computing enclosures for the inverse square root and the sign function of a matrix
• Verified computation for the matrix Lambert \(W\) function
• Verified computation for the matrix principal logarithm
• Verified stability analysis using the Lyapunov matrix equation
• Verified computation of the matrix exponential
• Simultaneous self-verified computation of exp(A) and \(\int_{0}^{1}\exp (As)ds\)
• Verified Error Bounds for the Real Gamma Function Using Double Exponential Formula over Semi-infinite Interval
• Fast Enclosure for All Eigenvalues and Invariant Subspaces in Generalized Eigenvalue Problems
• An Algorithm for Computing Reducing Subspaces by Block Diagonalization
• Efficient computation of enclosures for the exact solvents of a quadratic matrix equation
• Verified Computation of Square Roots of a Matrix
• Computation of the Gamma, Digamma, and Trigamma Functions
• An Algorithm for the Matrix Lambert $W$ Function
• Functions of Matrices
• Accurate Sum and Dot Product