Simultaneous self-verified computation of exp(A) and \(\int_{0}^{1}\exp (As)ds\) (Q2641075): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
| Property / cites work | |||
| Property / cites work: Q3343330 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: A self-validating numerical method for the matrix exponential / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3948528 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Nineteen Dubious Ways to Compute the Exponential of a Matrix / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: On Higher Order Stable Implicit Methods for Solving Parabolic Partial Differential Equations / rank | |||
Normal rank | |||
Revision as of 13:45, 21 June 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Simultaneous self-verified computation of exp(A) and \(\int_{0}^{1}\exp (As)ds\) |
scientific article |
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
