scientific article; zbMATH DE number 903761
From MaRDI portal
Publication:4885375
zbMATH Open0851.65054MaRDI QIDQ4885375FDOQ4885375
Authors: Robert Rihm, George F. Corliss 
Publication date: 26 November 1996
Title of this publication is not available (Why is that?)
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
initial value problemsenclosure of solutionvalidated solutionsinternal arithmeticAWA algorithmenclosure by polynomialsenclosure by Taylor serieshigh-order Taylor series
Nonlinear ordinary differential equations and systems (34A34) Numerical methods for initial value problems involving ordinary differential equations (65L05) Interval and finite arithmetic (65G30)
Cited In (19)
- Interval versions for special kinds of explicit linear multistep methods
- Computing reachable sets for uncertain nonlinear hybrid systems using interval constraint-propagation techniques
- Unified framework for the propagation of continuous-time enclosures for parametric nonlinear ODEs
- Applicability of the interval Taylor model to the computational proof of existence of periodic trajectories in systems of ordinary differential equations
- Interval methods of Adams-Bashforth type with variable step sizes
- Stable Set-Valued Integration of Nonlinear Dynamic Systems using Affine Set-Parameterizations
- An effective high-order interval method for validating existence and uniqueness of the solution of an IVP for an ODE
- An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs
- A CSP versus a zonotope-based method for solving guard set intersection in nonlinear hybrid reachability
- Interval schemes for singularly perturbed initial value problems
- Validated solutions of initial value problems for parametric ODEs
- A geometric method for infinite-dimensional chaos: symbolic dynamics for the Kuramoto-Sivashinsky PDE on the line
- Validated solutions of initial value problems for ordinary differential equations
- Interval versions of Milne's multistep methods
- Some recent advances in validated methods for IVPs for ODEs
- Discretize-then-relax approach for convex/concave relaxations of the solutions of parametric ODEs
- On interval predictor-corrector methods
- ABS: A formally correct software tool for space-efficient symbolic synthesis
- Verified Solution Method for Population Epidemiology Models with Uncertainty
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)
