Articles with "verified computation" as a keyword



Photo from archive.org

Verified computation of the matrix exponential

Sign Up to like & get
recommendations!
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;