Validated solutions of initial value problems for parametric ODEs-Reference-Cited by-同舟云学术

Validated solutions of initial value problems for parametric ODEs

Published:2007-10 Issue:10 Volume:57 Page:1145-1162
ISSN:0168-9274
Container-title:Applied Numerical Mathematics
language:en
Short-container-title:Applied Numerical Mathematics

Author:

Lin Youdong,Stadtherr Mark A.

Publisher

Elsevier BV

Subject

Applied Mathematics,Computational Mathematics,Numerical Analysis

Reference35 articles.

1. C. Bendsten, O. Stauning, FADBAD, a flexible C++ package for automatic differentiation using the forward and backward methods, Technical Report 1996-x5-94, Technical University of Denmark, Lyngby, Denmark, 1996

2. C. Bendsten, O. Stauning, TADIFF, a flexible C++ package for automatic differentiation using Taylor series, Technical Report 1997-x5-94, Technical University of Denmark, Lyngby, Denmark, 1997

3. Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models;Berz;Reliable Computing,1998

4. Validating an a priori enclosure using high-order Taylor series;Corliss,1995

5. The Solution of Initial Value Problems Using Interval Arithmetic;Eijgenraam,1981

Cited by 143 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Validated B-series and Runge-Kutta pairs;Numerical Algorithms;2023-11-24

2. Towards an automatic uncertainty compiler;International Journal of Approximate Reasoning;2023-09

3. Guaranteed Safe Path and Trajectory Tracking via Reachability Analysis Using Differential Inequalities;Journal of Intelligent & Robotic Systems;2023-08

4. Multicriteria Interval Optimization of Conditions for Complex Chemical Reactions Based on a Kinetic Model;Mathematical Models and Computer Simulations;2023-04

5. A higher order method for input-affine uncertain systems;Nonlinear Analysis: Hybrid Systems;2023-02