Verified computation of the matrix exponential
Sign Up to like & getrecommendations! Published in 2019 at "Advances in Computational Mathematics"
DOI: 10.1007/s10444-018-9609-5
Abstract: Two numerical algorithms for computing interval matrices containing the matrix exponential are proposed. The first algorithm is based on a numerical spectral decomposition and requires only cubic complexity under some assumptions. The second algorithm is… read more here.
Keywords: matrix exponential; verified computation; computation matrix;