scientific article; zbMATH DE number 440789

MaRDI QIDQ3140958zbMATH OpenFDO

Authors Pavel B. Bochev

Publication date 13 April 1994

zbMATH Keywords

enclosure methodsinterval arithmeticinterval methodsmatrix function \(\exp(At)\)numerical resultssensitivity analysisset valued phase flow

Mathematics Subject Classification ID

Computation of special functions and constants, construction of tables (65D20) Interval and finite arithmetic (65G30)

Cited in

(1)

• Algorithms for constructing isolating sets of phase flows and computer-assisted proofs with the use of interval Taylor models

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3140958)