Verified computations using Taylor models and their applications
From MaRDI portal
Recommendations
Cited in
(16)- Efficient control of the dependency problem based on Taylor model methods
- Adaptive interpolation algorithm based on a kd-tree for numerical integration of systems of ordinary differential equations with interval initial conditions
- Rigorous numerics for ODEs using Chebyshev series and domain decomposition
- Adaptive interpolation algorithm on sparse meshes for numerical integration of systems of ordinary differential equations with interval uncertainties
- Interval approach to solving parametric identification problems for dynamical systems
- Modeling the uncertainty in epidemiological models through interval analysis considering actual data from two municipalities in Colombia affected by dengue
- Analysis and optimization of an adaptive interpolation algorithm for the numerical solution of a system of ordinary differential equations with interval parameters
- Rigorous integration of flows and ODEs using Taylor models
- scientific article; zbMATH DE number 1916891 (Why is no real title available?)
- Robust fault detection with a distributed and decentralized state-set observer
- Modeling of dynamic systems with interval parameters in the presence of singularities
- On Taylor Model Based Integration of ODEs
- Verified high-order inversion of functional dependencies and interval Newton methods
- Algorithms for the numerical solution of fractional differential equations with interval parameters
- Reducing the truncation error in Taylor model multiplication
- A revised monotonicity-based method for computing tight image enclosures of functions
This page was built for publication: Verified computations using Taylor models and their applications
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5086227)
