caa a22 4500 465751776 CHVBK 20180323111835.0 cr unu---uuuuu 170327e19900601xx s 000 0 eng 10.1007/BF02247884 doi (NATIONALLICENCE)springer-10.1007/BF02247884 Bochev P. Institute of Mathematics with Computing Center Section Mathematical Modeling, Bulgarian Academy of Sciences, P.O. Box. 373, 1090, Sofia, Bulgaria aut Simultaneous self-verified computation of exp ( A ) and ∫01 exp ( As ) dsexp ( As ) ds [Elektronische Daten] [P. Bochev] Parallele validierende Berechnung von exp ( A ) und ∫01 exp ( As ) dsexp ( As ) ds We propose a method for simultaneous computation of verified bounds for the matrix functions exp (A) and ∫ 0 1 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. Springer-Verlag, 1990 Matrix exponential nationallicence Pade approximations nationallicence verified bounds nationallicence Computing Springer-Verlag 45/2(1990-06-01), 183-191 0010-485X 45:2<183 1990 45 607 https://doi.org/10.1007/BF02247884 text/html Onlinezugriff via DOI 1 brief-communication jats NATIONALLICENCE 856 40 https://doi.org/10.1007/BF02247884 text/html Onlinezugriff via DOI NATIONALLICENCE 100 1- Bochev P. Institute of Mathematics with Computing Center Section Mathematical Modeling, Bulgarian Academy of Sciences, P.O. Box. 373, 1090, Sofia, Bulgaria aut NATIONALLICENCE 773 0- Computing Springer-Verlag 45/2(1990-06-01), 183-191 0010-485X 45:2<183 1990 45 607 Metadata rights reserved Springer special CC-BY-NC licence nationallicence BK010053 XK010053 XK010000 NATIONALLICENCE NATIONALLICENCE NL-springer