The following pages link to (Q4321538):
Displayed 14 items.
- On the stock estimation for a harvested fish population (Q417326) (← links)
- On the semi-convergence of interval matrices (Q703617) (← links)
- Set membership state and parameter estimation for systems described by nonlinear differential equations (Q705483) (← links)
- An application of Taylor models to the Nakao method on ODEs (Q849188) (← links)
- Effective bounds for P-recursive sequences (Q992808) (← links)
- Rigorously computed orbits of dynamical systems without the wrapping effect (Q1266309) (← links)
- Interval analysis: Theory and applications (Q1587412) (← links)
- Validated solutions of initial value problems for ordinary differential equations (Q1805854) (← links)
- Use of shrink wrapping for interval Taylor models in algorithms of computer-assisted proof of the existence of periodic trajectories in systems of ordinary differential equations (Q2019639) (← links)
- A numerical verification method to specify homoclinic orbits as application of local Lyapunov functions (Q2135544) (← links)
- Truncation bounds for differentially finite series (Q2323059) (← links)
- Interval schemes for singularly perturbed initial value problems (Q2484028) (← links)
- Design of high-gain observers based on sampled measurements via the interval arithmetic (Q2665381) (← links)
- NUMERICAL VERIFICATION METHODS FOR SOLUTIONS OF ORDINARY AND PARTIAL DIFFERENTIAL EQUATIONS (Q2769532) (← links)