The following pages link to (Q4808034):
Displaying 30 items.
- A study of rigorous ODE integrators for multi-scale set-oriented computations (Q289025) (← links)
- Interval branch-and-bound algorithms for optimization and constraint satisfaction: a survey and prospects (Q312490) (← links)
- Proving tight bounds on univariate expressions with elementary functions in Coq (Q331615) (← links)
- Convergence analysis of Taylor models and McCormick-Taylor models (Q367158) (← links)
- A generalization of \(p\)-boxes to affine arithmetic (Q411436) (← links)
- Efficient and accurate computation of upper bounds of approximation errors (Q633637) (← links)
- On the properties of Sard kernels and multiple error estimates for bounded linear functionals of bivariate functions with application to non-product cubature (Q695294) (← links)
- Non-intrusive hybrid interval method for uncertain nonlinear systems using derivative information (Q739977) (← links)
- Effective approximation of the solutions of algebraic equations (Q820948) (← links)
- An application of Taylor models to the Nakao method on ODEs (Q849188) (← links)
- Experiments with range computations using extrapolation (Q858163) (← links)
- Probability bounds analysis for nonlinear population ecology models (Q899221) (← links)
- Effective bounds for P-recursive sequences (Q992808) (← links)
- Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds (Q1616363) (← links)
- Chebyshev model arithmetic for factorable functions (Q1675562) (← links)
- A validated real function calculus (Q1949769) (← links)
- TMsim: an algorithmic tool for the parametric and worst-case simulation of systems with uncertainties (Q1993019) (← links)
- Automatic differentiation for Fourier series and the radii polynomial approach (Q1999949) (← links)
- Set propagation in dynamical systems with generalised polynomial algebra and its computational complexity (Q2206505) (← links)
- Parameter range reduction from partial data in systems of differential algebraic equations (Q2297179) (← links)
- Exploiting nonlinear invariants and path constraints to achieve tighter reachable set enclosures using differential inequalities (Q2307740) (← links)
- Rigorous integration of non-linear ordinary differential equations in Chebyshev basis (Q2346283) (← links)
- Computing the pessimism of inclusion functions (Q2481139) (← links)
- Validated solutions of initial value problems for parametric ODEs (Q2643834) (← links)
- A higher order method for input-affine uncertain systems (Q2677088) (← links)
- Verified Solution Method for Population Epidemiology Models with Uncertainty (Q2930567) (← links)
- Rigorous uniform approximation of D-finite functions using Chebyshev expansions (Q2967967) (← links)
- Towards Using Exact Real Arithmetic for Initial Value Problems (Q3179168) (← links)
- Constrained polynomial zonotopes (Q6171823) (← links)
- Towards global neural network abstractions with locally-exact reconstruction (Q6488831) (← links)
