Higher order verified inclusions of multidimensional systems by Taylor models.

DOI10.1016/S0362-546X(01)00467-9zbMath1042.41501WikidataQ126648856 ScholiaQ126648856MaRDI QIDQ1875382

Martin Berz, Kyoko Makino

Publication date: 26 August 2004

Published in: Nonlinear Analysis. Theory, Methods \& Applications. Series A: Theory and Methods (Search for Journal in Brave)

Mathematics Subject Classification ID

Multidimensional problems (41A63) Algorithms with automatic result verification (65G20)

Related Items (3)

Optimization of the forcing term for the solution of two-point boundary value problems ⋮ Status of the differential transformation method ⋮ Taylor models and floating-point arithmetic: proof that arithmetic operations are validated in COSY

Uses Software

• INTOPT_90

This page was built for publication: Higher order verified inclusions of multidimensional systems by Taylor models.