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) Numerical methods for initial value problems involving ordinary differential equations (65L05) Algorithms with automatic result verification (65G20)
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
(60)- On the stability of periodic \(N\)-body motions with the symmetry of platonic polyhedra
- CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems
- Validated computations for connecting orbits in polynomial vector fields
- On the construction of Lyapunov functions with computer assistance
- Existence proof of unimodal solutions of the Proudman-Johnson equation via interval analysis
- Topological horseshoes of traveling waves for a fast-slow predator-prey system
- A four-leaf chaotic attractor of a three-dimensional dynamical system
- scientific article; zbMATH DE number 1569211 (Why is no real title available?)
- Rigorous validation of stochastic transition paths
- Saddle-type blow-up solutions with computer-assisted proofs: validation and extraction of global nature
- A study of rigorous ODE integrators for multi-scale set-oriented computations
- A rigorous implicit \(C^1\) Chebyshev integrator for delay equations
- Validated integration of semilinear parabolic PDEs
- Spatial periodic orbits in the equilateral circular restricted four-body problem: computer-assisted proofs of existence
- A Lohner-type algorithm for control systems and ordinary differential inclusions
- High-order Lohner-type algorithm for rigorous computation of Poincaré maps in systems of delay differential equations with several delays
- A computer-assisted proof of existence of a periodic solution
- The Schaper formula and the Lascoux, Leclerc and Thibon algorithm.
- Computer-assisted validation of the existence of periodic orbit in the Brusselator system
- New bifurcations in the simplest passive walking model
- Computer assisted proofs of two-dimensional attracting invariant tori for ODEs
- A numerical verification method to specify homoclinic orbits as application of local Lyapunov functions
- Effective construction of Poincaré-Bendixson regions
- Automatic differentiation for Fourier series and the radii polynomial approach
- Complexity in a hybrid van der Pol system
- Rigorous FEM for One-Dimensional Burgers Equation
- Topological approach to rigorous numerics of chaotic dynamical systems with strong expansion of error bounds
- Efficient and generic algorithm for rigorous integration forward in time of dPDEs. I
- Computer‐assisted analysis of chaos in a three‐species food chain model
- Torus knot choreographies in the \(n\)-body problem
- Arnold Diffusion, Quantitative Estimates, and Stochastic Behavior in the <scp>Three‐Body</scp> Problem
- A topological approach to the algorithmic computation of the Conley index for Poincaré maps
- Algorithm for rigorous integration of delay differential equations and the computer-assisted proof of periodic orbits in the Mackey-Glass equation
- Beyond the Melnikov method: A computer assisted approach
- Existence of periodic solutions of the Fitzhugh-Nagumo equations for an explicit range of the small parameter
- An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs
- 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
- Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs
- Beyond the Melnikov method. II: Multidimensional setting
- Uncertainty propagation or box propagation
- Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits
- 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
- Period doubling in the Rössler system -- a computer assisted proof
- The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems
- A symbolic-numeric validation algorithm for linear ODEs with Newton-Picard method
- Recent development in rigorous computational methods in dynamical systems
- Destruction of invariant curves in the restricted circular planar three-body problem by using comparison of action
- Rigorous numerics for dissipative partial differential equations. II: Periodic orbit for the Kuramoto-Sivashinsky PDE -- a computer-assisted proof
- Stationary coexistence of hexagons and rolls via rigorous computations
- Rigorous numerics for ODEs using Chebyshev series and domain decomposition
- Coexistence and dynamical connections between hyperchaos and chaos in the 4D Rössler system: a computer-assisted proof
- Computer assisted proofs for transverse collision and near collision orbits in the restricted three body problem
- A rigorous ODE solver and Smale's 14th problem
- Rigorous numerics for fast-slow systems
- Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds
- Analytic continuation of local (un)stable manifolds with rigorous computer assisted error bounds
- Validated computation of heteroclinic sets
- Chaos in the Kuramoto-Sivashinsky equations -- a computer-assisted proof.
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)
