The following pages link to (Q3125536):
Displaying 19 items.
- Efficient polyhedral enclosures for the reachable set of nonlinear control systems (Q276023) (← links)
- Convergence analysis of Taylor models and McCormick-Taylor models (Q367158) (← links)
- Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds (Q475594) (← links)
- Rigorous and accurate enclosure of invariant manifolds on surfaces (Q618187) (← links)
- An application of Taylor models to the Nakao method on ODEs (Q849188) (← links)
- Solving interval constraints by linearization in computer-aided design (Q868685) (← links)
- Probability bounds analysis for nonlinear population ecology models (Q899221) (← links)
- Newton's method and FFT trading (Q979146) (← links)
- The vectorization expressions of Taylor series multipole-BEM for 3D elasticity problems (Q1021138) (← links)
- Chebyshev model arithmetic for factorable functions (Q1675562) (← links)
- TMsim: an algorithmic tool for the parametric and worst-case simulation of systems with uncertainties (Q1993019) (← links)
- Modeling the uncertainty in epidemiological models through interval analysis considering actual data from two municipalities in Colombia affected by dengue (Q2110162) (← links)
- A numerical verification method to specify homoclinic orbits as application of local Lyapunov functions (Q2135544) (← links)
- Deterministic global optimization in ab-initio quantum chemistry (Q2392771) (← links)
- Validated solutions of initial value problems for parametric ODEs (Q2643834) (← links)
- Verified Solution Method for Population Epidemiology Models with Uncertainty (Q2930567) (← links)
- Dynamic Global Optimization Methods for Determining Guaranteed Solutions in Chemical Engineering (Q2958621) (← links)
- Verified Solution of Nonlinear Dynamic Models in Epidemiology (Q3006992) (← links)
- Verified High-Order Integration of DAEs and Higher-Order ODEs (Q4577124) (← links)
