The following pages link to (Q5444070):
Displayed 29 items.
- A study of rigorous ODE integrators for multi-scale set-oriented computations (Q289025) (← links)
- Convergence analysis of Taylor models and McCormick-Taylor models (Q367158) (← links)
- Linearised higher variational equations (Q476584) (← links)
- Rigorous and accurate enclosure of invariant manifolds on surfaces (Q618187) (← links)
- Destruction of invariant curves in the restricted circular planar three-body problem by using comparison of action (Q638792) (← links)
- Global invariant manifolds in the transition to preturbulence in the Lorenz system (Q652423) (← links)
- Engineering constraint solvers for automatic analysis of probabilistic hybrid automata (Q710668) (← links)
- Applicability of the interval Taylor model to the computational proof of existence of periodic trajectories in systems of ordinary differential equations (Q721909) (← links)
- Verisig 2.0: verification of neural network controllers using Taylor model preconditioning (Q832173) (← links)
- An application of Taylor models to the Nakao method on ODEs (Q849188) (← links)
- Verified integration of linear \(n\)th order ODEs using large steps (Q876676) (← links)
- Newton's method and FFT trading (Q979146) (← links)
- Shrink wrapping for Taylor models revisited (Q1656657) (← 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 computationally inexpensive algorithm for determining outer and inner enclosures of nonlinear mappings of ellipsoidal domains (Q2057959) (← links)
- Algorithms for constructing isolating sets of phase flows and computer-assisted proofs with the use of interval Taylor models (Q2280412) (← 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)
- Validated solutions of initial value problems for parametric ODEs (Q2643834) (← links)
- Interval uncertain method for multibody mechanical systems using Chebyshev inclusion functions (Q2952325) (← links)
- The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems (Q4982088) (← links)
- Robust Fault Detection with a Distributed and Decentralized State-Set Observer (Q5054230) (← links)
- Conditions and evidence for non-integrability in the Friedmann-Robertson-Walker Hamiltonian (Q5230933) (← links)
- Validated Modeling of Mechanical Systems with SmartMOBILE: Improvement of Performance by ValEncIA-IVP (Q5302762) (← links)
- A polynomial chaos expansion approach for nonlinear dynamic systems with interval uncertainty (Q6132382) (← links)
- Automatic Abstraction Refinement in Neural Network Verification using Sensitivity Analysis (Q6202102) (← links)