scientific article; zbMATH DE number 2069519
From MaRDI portal
Publication:4463457
zbMath1055.65095MaRDI QIDQ4463457
Publication date: 27 May 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Ordinary differential inclusions (34A60) Stability and convergence of numerical methods for ordinary differential equations (65L20) Multistep, Runge-Kutta and extrapolation methods for ordinary differential equations (65L06) Algorithms with automatic result verification (65G20)
Related Items (17)
Robust Fault Detection with a Distributed and Decentralized State-Set Observer ⋮ First steps towards more numerical reproducibility ⋮ Reachable set estimation and safety verification of nonlinear systems via iterative sums of squares programming ⋮ Optimization of the forcing term for the solution of two-point boundary value problems ⋮ Quadratic volume-preserving maps: (Un)stable manifolds, hyperbolic dynamics, and vortex-bubble bifurcations ⋮ Rigorous and accurate enclosure of invariant manifolds on surfaces ⋮ Moment-based invariants for probabilistic loops with non-polynomial assignments ⋮ Uncertainty propagation or box propagation ⋮ New enclosure algorithms for the verified solutions of nonlinear Volterra integral equations ⋮ Computing the critical points of the distance function between two Keplerian orbits via rigorous global optimization ⋮ Status of the differential transformation method ⋮ Breaking the limits: The Taylor series method ⋮ Rigorous parameter reconstruction for differential equations with noisy data ⋮ Computer-assisted proofs in PDE: a survey ⋮ Rigorous Global Optimization for Collision Risk Assessment on Perturbed Orbits ⋮ A dimensionality reduction method for computing reachable tubes based on piecewise pseudo-time dependent Hamilton-Jacobi equation ⋮ Modeling the uncertainty in epidemiological models through interval analysis considering actual data from two municipalities in Colombia affected by dengue
Uses Software
This page was built for publication:
