The following pages link to (Q4036851):
Displayed 37 items.
- A study of rigorous ODE integrators for multi-scale set-oriented computations (Q289025) (← links)
- Efficient and generic algorithm for rigorous integration forward in time of dPDEs. I (Q461203) (← links)
- Discretize-then-relax approach for convex/concave relaxations of the solutions of parametric ODEs (Q534256) (← links)
- Period doubling in the Rössler system -- a computer assisted proof (Q734133) (← links)
- A geometric method for infinite-dimensional chaos: symbolic dynamics for the Kuramoto-Sivashinsky PDE on the line (Q778220) (← links)
- Verified integration of linear \(n\)th order ODEs using large steps (Q876676) (← links)
- Error bounds for initial value problems by optimization (Q889871) (← links)
- Topological approach to rigorous numerics of chaotic dynamical systems with strong expansion of error bounds (Q967202) (← links)
- Enclosing solutions of an inverse Sturm-Liouville problem with finite data (Q1340886) (← links)
- An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs (Q1733758) (← links)
- Computer assisted proof of chaos in the Lorenz equations (Q1963439) (← links)
- Rigorous numerics for ODEs using Chebyshev series and domain decomposition (Q1983482) (← links)
- CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems (Q2038109) (← links)
- Recent advances in a rigorous computation of Poincaré maps (Q2137186) (← links)
- Interval versions for special kinds of explicit linear multistep methods (Q2211256) (← links)
- Rigorous integration of non-linear ordinary differential equations in Chebyshev basis (Q2346283) (← links)
- Unified framework for the propagation of continuous-time enclosures for parametric nonlinear ODEs (Q2351531) (← links)
- On interval predictor-corrector methods (Q2407871) (← links)
- Interval versions of Milne's multistep methods (Q2413491) (← links)
- Validated numerics for continuation and bifurcation of connecting orbits of maps (Q2423701) (← links)
- Topological horseshoes of traveling waves for a fast-slow predator-prey system (Q2465115) (← links)
- Interval schemes for singularly perturbed initial value problems (Q2484028) (← links)
- A rigorous implicit \(C^1\) Chebyshev integrator for delay equations (Q2665531) (← 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)
- Stable Set-Valued Integration of Nonlinear Dynamic Systems using Affine Set-Parameterizations (Q3195246) (← links)
- COUNTING LOW-PERIOD CYCLES FOR FLOWS (Q3498693) (← links)
- Chaos in the Lorenz equations: A computer assisted proof. Part II: Details (Q4396448) (← links)
- Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits (Q4557492) (← links)
- Computer-Assisted Proof of Heteroclinic Connections in the One-Dimensional Ohta--Kawasaki Model (Q4571153) (← links)
- Analytic Continuation of Local (Un)Stable Manifolds with Rigorous Computer Assisted Error Bounds (Q4608082) (← links)
- Validated computation of the local truncation error of Runge–Kutta methods with automatic differentiation (Q4685566) (← links)
- Computing Morse decomposition of ODEs via Runge-Kutta method (Q5047086) (← links)
- Existence of Globally Attracting Solutions for One-Dimensional Viscous Burgers Equation with Nonautonomous Forcing---A Computer Assisted Proof (Q5249807) (← links)
- Symbolic dynamics for the Hénon-Heiles Hamiltonian on the critical level (Q5933467) (← links)
- Robustness analysis of continuous-depth models with Lagrangian techniques (Q6113998) (← links)