scientific article; zbMATH DE number 1916891

Publication date: 19 October 2003

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

algorithms global optimization comparison of methods interval analysis inverses approximation order interval method Taylor model methods mean value form inclusion methods validated computations integration of functions centered form interval polynomial methods

Mathematics Subject Classification ID

Numerical mathematical programming methods (65K05) Nonlinear ordinary differential equations and systems (34A34) Stability and convergence of numerical methods for ordinary differential equations (65L20) General methods in interval analysis (65G40) Multistep, Runge-Kutta and extrapolation methods for ordinary differential equations (65L06) Numerical quadrature and cubature formulas (65D32) Algorithms with automatic result verification (65G20)

Related Items

A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations ⋮ Effective approximation of the solutions of algebraic equations ⋮ Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds ⋮ A study of rigorous ODE integrators for multi-scale set-oriented computations ⋮ Interval branch-and-bound algorithms for optimization and constraint satisfaction: a survey and prospects ⋮ Towards Using Exact Real Arithmetic for Initial Value Problems ⋮ An application of Taylor models to the Nakao method on ODEs ⋮ Proving tight bounds on univariate expressions with elementary functions in Coq ⋮ Validated solutions of initial value problems for parametric ODEs ⋮ Experiments with range computations using extrapolation ⋮ Computing Reachable Sets of Differential Inclusions ⋮ Convergence analysis of Taylor models and McCormick-Taylor models ⋮ Chebyshev model arithmetic for factorable functions ⋮ High-Order Parameterization of Stable/Unstable Manifolds for Long Periodic Orbits of Maps ⋮ A higher order method for input-affine uncertain systems ⋮ A generalization of \(p\)-boxes to affine arithmetic ⋮ Probability bounds analysis for nonlinear population ecology models ⋮ Constrained polynomial zonotopes ⋮ Efficient and accurate computation of upper bounds of approximation errors ⋮ Rigorous uniform approximation of D-finite functions using Chebyshev expansions ⋮ A validated real function calculus ⋮ Set propagation in dynamical systems with generalised polynomial algebra and its computational complexity ⋮ Computation of Tight Enclosures for Laplacian Eigenvalues ⋮ TMsim: an algorithmic tool for the parametric and worst-case simulation of systems with uncertainties ⋮ Automatic differentiation for Fourier series and the radii polynomial approach ⋮ Computing the pessimism of inclusion functions ⋮ On the properties of Sard kernels and multiple error estimates for bounded linear functionals of bivariate functions with application to non-product cubature ⋮ Effective bounds for P-recursive sequences ⋮ Enclosing Chebyshev Expansions in Linear Time ⋮ Non-intrusive hybrid interval method for uncertain nonlinear systems using derivative information ⋮ Parameter range reduction from partial data in systems of differential algebraic equations ⋮ Exploiting nonlinear invariants and path constraints to achieve tighter reachable set enclosures using differential inequalities ⋮ Rigorous integration of non-linear ordinary differential equations in Chebyshev basis

This page was built for publication: