Simultaneous self-verified computation of exp(A) and \(\int_{0}^{1}\exp (As)ds\) (Q2641075)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 4189090
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Simultaneous self-verified computation of exp(A) and \(\int_{0}^{1}\exp (As)ds\) |
scientific article; zbMATH DE number 4189090 |
Statements
Simultaneous self-verified computation of exp(A) and \(\int_{0}^{1}\exp (As)ds\) (English)
0 references
1990
0 references
We propose a method for simultaneous computation of verified bounds for the matrix functions exp(A) and \(\int^{1}_{0}\exp (As)ds\) where the inclusion of the integral is obtained during the computation of verified bounds for exp(A) at very little additional cost. Highly accurate results of our method are achieved by the use of advanced computer arithmetic and an implementation of dynamic precision by means of staggered correction representation.
0 references
matrix exponential
0 references
Padé approximations
0 references
verified bounds
0 references
0.8344590067863464
0 references
0.8068978786468506
0 references
0.801444411277771
0 references
0.7911037802696228
0 references
