The following pages link to (Q4808034):
Displaying 20 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)
- Constrained polynomial zonotopes (Q6171823) (← links)
- Towards global neural network abstractions with locally-exact reconstruction (Q6488831) (← links)
