The following pages link to (Q5437369):
Displaying 9 items.
- Rigorous and accurate enclosure of invariant manifolds on surfaces (Q618187) (← links)
- Engineering constraint solvers for automatic analysis of probabilistic hybrid automata (Q710668) (← links)
- Reachability analysis of linear dynamic systems with constant, arbitrary, and Lipschitz continuous inputs (Q1626902) (← links)
- Stepsize selection in the rigorous defect control of Taylor series methods (Q2291989) (← links)
- A Taylor model toolbox for solving ODEs implemented in Matlab/INTLAB (Q2291993) (← links)
- Rigorous integration of non-linear ordinary differential equations in Chebyshev basis (Q2346283) (← links)
- On interval predictor-corrector methods (Q2407871) (← links)
- Interval versions of Milne's multistep methods (Q2413491) (← links)
- Analytic Continuation of Local (Un)Stable Manifolds with Rigorous Computer Assisted Error Bounds (Q4608082) (← links)