C^1 Lohner algorithm.
From MaRDI portal
\(C^1\) Lohner algorithm.
Theoretical approximation of solutions to ordinary differential equations (34A45) Approximation methods and numerical treatment of dynamical systems (37M99) Algorithms with automatic result verification (65G20) Numerical methods for initial value problems involving ordinary differential equations (65L05)
Recommendations
- The Schaper formula and the Lascoux, Leclerc and Thibon algorithm.
- Publication:5751855
- The Lanczos algorithm and complex Gauss quadrature
- The L1-version of the Diliberto–Straus algorithm in C(T × S)
- scientific article; zbMATH DE number 41703
- An algorithmic approach to the Lovász local lemma. I
- On an algorithm in \(C^{1,1}\) optimization
Cited in
(64)- A Lohner-type algorithm for control systems and ordinary differential inclusions
- Chaos in the Kuramoto-Sivashinsky equations -- a computer-assisted proof.
- The Schaper formula and the Lascoux, Leclerc and Thibon algorithm.
- A rigorous ODE solver and Smale's 14th problem
- Algorithm for rigorous integration of delay differential equations and the computer-assisted proof of periodic orbits in the Mackey-Glass equation
- Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs
- Beyond the Melnikov method. II: Multidimensional setting
- Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds
- An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs
- Existence proof of unimodal solutions of the Proudman-Johnson equation via interval analysis
- Rigorous numerics for dissipative partial differential equations. II: Periodic orbit for the Kuramoto-Sivashinsky PDE -- a computer-assisted proof
- Rigorous numerics for ODEs using Chebyshev series and domain decomposition
- Automatic differentiation for Fourier series and the radii polynomial approach
- Spatial periodic orbits in the equilateral circular restricted four-body problem: computer-assisted proofs of existence
- CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems
- A symbolic-numeric validation algorithm for linear ODEs with Newton-Picard method
- A numerical verification method to specify homoclinic orbits as application of local Lyapunov functions
- Computer assisted proofs of two-dimensional attracting invariant tori for ODEs
- A computer-assisted proof of existence of a periodic solution
- Validated computations for connecting orbits in polynomial vector fields
- Rigorous validation of stochastic transition paths
- Rigorous integration of smooth vector fields around spiral saddles with an application to the cubic Chua's attractor
- Validated numerics for continuation and bifurcation of connecting orbits of maps
- Topological horseshoes of traveling waves for a fast-slow predator-prey system
- A rigorous implicit \(C^1\) Chebyshev integrator for delay equations
- New bifurcations in the simplest passive walking model
- Coexistence and dynamical connections between hyperchaos and chaos in the 4D Rössler system: a computer-assisted proof
- Existence of periodic solutions of the Fitzhugh-Nagumo equations for an explicit range of the small parameter
- A study of rigorous ODE integrators for multi-scale set-oriented computations
- Validated computation of heteroclinic sets
- A topological approach to the algorithmic computation of the Conley index for Poincaré maps
- Beyond the Melnikov method: A computer assisted approach
- Uncertainty propagation or box propagation
- Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits
- Analytic continuation of local (un)stable manifolds with rigorous computer assisted error bounds
- Efficient and generic algorithm for rigorous integration forward in time of dPDEs. I
- On the stability of periodic N-body motions with the symmetry of platonic polyhedra
- scientific article; zbMATH DE number 1569211 (Why is no real title available?)
- The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems
- Rigorous FEM for One-Dimensional Burgers Equation
- Effective construction of Poincaré-Bendixson regions
- Torus knot choreographies in the \(n\)-body problem
- On the construction of Lyapunov functions with computer assistance
- Complexity in a hybrid van der Pol system
- A four-leaf chaotic attractor of a three-dimensional dynamical system
- Stationary coexistence of hexagons and rolls via rigorous computations
- A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations
- Rigorous KAM results around arbitrary periodic orbits for Hamiltonian systems
- Saddle-type blow-up solutions with computer-assisted proofs: validation and extraction of global nature
- Arnold Diffusion, Quantitative Estimates, and Stochastic Behavior in the <scp>Three‐Body</scp> Problem
- Computer‐assisted analysis of chaos in a three‐species food chain model
- Rigorous numerics for fast-slow systems
- Computer assisted proofs for transverse collision and near collision orbits in the restricted three body problem
- Destruction of invariant curves in the restricted circular planar three-body problem by using comparison of action
- Validated integration of semilinear parabolic PDEs
- High-order Lohner-type algorithm for rigorous computation of Poincaré maps in systems of delay differential equations with several delays
- Computer-assisted validation of the existence of periodic orbit in the Brusselator system
- Computer-assisted proofs for finding the monodromy of Picard-Fuchs differential equations for a family of K3 toric hypersurfaces
- A mechanism for growth of topological entropy
- Computational symplectic topology and symmetric orbits in the restricted three-body problem
- Tool for analyzing ODEs with conserved quantities through verified computation
- Period doubling in the Rössler system -- a computer assisted proof
- Recent development in rigorous computational methods in dynamical systems
- Topological approach to rigorous numerics of chaotic dynamical systems with strong expansion of error bounds
This page was built for publication: \(C^1\) Lohner algorithm.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1865828)
