scientific article; zbMATH DE number 903761

MaRDI QIDQ4885375zbMATHFDO

Authors Robert Rihm, George F. Corliss

Publication date 26 November 1996

zbMATH Keywords

initial value problemsenclosure of solutionvalidated solutionsinternal arithmeticAWA algorithmenclosure by polynomialsenclosure by Taylor serieshigh-order Taylor series

Mathematics Subject Classification ID

Nonlinear ordinary differential equations and systems (34A34) Numerical methods for initial value problems involving ordinary differential equations (65L05) Interval and finite arithmetic (65G30)

Recommendations

• Improved validated bounds for Taylor coefficients and for Taylor remainder series
• scientific article; zbMATH DE number 3915543
• Validation of a posteriori error estimators by numerical approach
• Solving high-index DAEs by Taylor series
• scientific article; zbMATH DE number 440778
• The use of Taylor series to test accuracy of function programs
• A Posteriori Validation of Generalized Polynomial Chaos Expansions
• Taylor-Fourier series application for numerical and experimental determination of studied dependence derivatives
• scientific article; zbMATH DE number 1780048

Cited in

(19)

• Some recent advances in validated methods for IVPs for ODEs
• Interval versions for special kinds of explicit linear multistep methods
• A geometric method for infinite-dimensional chaos: symbolic dynamics for the Kuramoto-Sivashinsky PDE on the line
• Stable set-valued integration of nonlinear dynamic systems using affine set-parameterizations
• Verified solution method for population epidemiology models with uncertainty
• Interval versions of Milne's multistep methods
• Validated solutions of initial value problems for ordinary differential equations
• On interval predictor-corrector methods
• Applicability of the interval Taylor model to the computational proof of existence of periodic trajectories in systems of ordinary differential equations
• Interval schemes for singularly perturbed initial value problems
• An effective high-order interval method for validating existence and uniqueness of the solution of an IVP for an ODE
• Discretize-then-relax approach for convex/concave relaxations of the solutions of parametric ODEs
• An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs
• Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques
• Validated solutions of initial value problems for parametric ODEs
• Unified framework for the propagation of continuous-time enclosures for parametric nonlinear ODEs
• ABS: A formally correct software tool for space-efficient symbolic synthesis
• A CSP versus a zonotope-based method for solving guard set intersection in nonlinear hybrid reachability
• Interval methods of Adams-Bashforth type with variable step sizes

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 Q4885375)