The following pages link to \(C^1\) Lohner algorithm. (Q1865828):
Displaying 50 items.
- A study of rigorous ODE integrators for multi-scale set-oriented computations (Q289025) (← links)
- Beyond the Melnikov method: A computer assisted approach (Q338453) (← links)
- Uncertainty propagation or box propagation (Q409963) (← links)
- Efficient and generic algorithm for rigorous integration forward in time of dPDEs. I (Q461203) (← links)
- On the construction of Lyapunov functions with computer assistance (Q515790) (← links)
- Destruction of invariant curves in the restricted circular planar three-body problem by using comparison of action (Q638792) (← links)
- Period doubling in the Rössler system -- a computer assisted proof (Q734133) (← links)
- Recent development in rigorous computational methods in dynamical systems (Q849189) (← links)
- Topological approach to rigorous numerics of chaotic dynamical systems with strong expansion of error bounds (Q967202) (← links)
- Chaos in the Kuramoto-Sivashinsky equations -- a computer-assisted proof. (Q1414013) (← links)
- Algorithm for rigorous integration of delay differential equations and the computer-assisted proof of periodic orbits in the Mackey-Glass equation (Q1620885) (← links)
- Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs (Q1670296) (← links)
- Beyond the Melnikov method. II: Multidimensional setting (Q1671213) (← links)
- Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds (Q1692132) (← links)
- An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs (Q1733758) (← links)
- Existence proof of unimodal solutions of the Proudman-Johnson equation via interval analysis (Q1736471) (← links)
- Rigorous numerics for dissipative partial differential equations. II: Periodic orbit for the Kuramoto-Sivashinsky PDE -- a computer-assisted proof (Q1885383) (← links)
- Rigorous numerics for ODEs using Chebyshev series and domain decomposition (Q1983482) (← links)
- Automatic differentiation for Fourier series and the radii polynomial approach (Q1999949) (← links)
- Spatial periodic orbits in the equilateral circular restricted four-body problem: computer-assisted proofs of existence (Q2005582) (← links)
- CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems (Q2038109) (← links)
- A symbolic-numeric validation algorithm for linear ODEs with Newton-Picard method (Q2051589) (← links)
- A numerical verification method to specify homoclinic orbits as application of local Lyapunov functions (Q2135544) (← links)
- Computer assisted proofs of two-dimensional attracting invariant tori for ODEs (Q2211119) (← links)
- A computer-assisted proof of existence of a periodic solution (Q2263959) (← links)
- Validated computations for connecting orbits in polynomial vector fields (Q2302341) (← links)
- Rigorous validation of stochastic transition paths (Q2334873) (← links)
- Rigorous integration of smooth vector fields around spiral saddles with an application to the cubic Chua's attractor (Q2423256) (← 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)
- A rigorous implicit \(C^1\) Chebyshev integrator for delay equations (Q2665531) (← links)
- New bifurcations in the simplest passive walking model (Q2787886) (← links)
- Coexistence and Dynamical Connections between Hyperchaos and Chaos in the 4D Rössler System: A Computer-Assisted Proof (Q2790863) (← links)
- Existence of Periodic Solutions of the FitzHugh--Nagumo Equations for an Explicit Range of the Small Parameter (Q2819093) (← links)
- Validated Computation of Heteroclinic Sets (Q2967809) (← links)
- A Topological Approach to the Algorithmic Computation of the Conley Index for Poincaré Maps (Q3192582) (← links)
- Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits (Q4557492) (← links)
- Analytic Continuation of Local (Un)Stable Manifolds with Rigorous Computer Assisted Error Bounds (Q4608082) (← links)
- On the stability of periodic <i>N</i>-body motions with the symmetry of Platonic polyhedra (Q4685395) (← links)
- The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems (Q4982088) (← links)
- Rigorous FEM for One-Dimensional Burgers Equation (Q5004526) (← links)
- EFFECTIVE CONSTRUCTION OF POINCAR&#201;-BENDIXSON REGIONS (Q5121527) (← links)
- Torus knot choreographies in the n-body problem (Q5147943) (← links)
- Complexity in a Hybrid van der Pol System (Q5158804) (← links)
- A Four-Leaf Chaotic Attractor of a Three-Dimensional Dynamical System (Q5246684) (← links)
- Stationary Coexistence of Hexagons and Rolls via Rigorous Computations (Q5258573) (← links)
- A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations (Q5278036) (← links)
- Rigorous KAM results around arbitrary periodic orbits for Hamiltonian systems (Q5346730) (← links)
- Saddle-type blow-up solutions with computer-assisted proofs: validation and extraction of global nature (Q6038849) (← links)
- Arnold Diffusion, Quantitative Estimates, and Stochastic Behavior in the <scp>Three‐Body</scp> Problem (Q6049736) (← links)
