C^1 Lohner algorithm.

DOI10.1007/S102080010025zbMATH Open1049.65038OpenAlexW3182252275MaRDI QIDQ1865828FDOQ1865828

Authors: Piotr Zgliczyński 

Publication date: 2002

Published in: Foundations of Computational Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s102080010025

Recommendations

• The Schaper formula and the Lascoux, Leclerc and Thibon algorithm.
• Publication:5751855
• The Lanczos algorithm and complex Gauss quadrature
• The L₁-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

Mathematics Subject Classification ID

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)

Cited In (60)

• Saddle-type blow-up solutions with computer-assisted proofs: validation and extraction of global nature
• 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 analysis of chaos in a three‐species food chain model
• Rigorous numerics for fast-slow systems
• 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
• Title not available (Why is that?)
• Rigorous validation of stochastic transition paths
• A rigorous implicit \(C^1\) Chebyshev integrator for delay equations
• A study of rigorous ODE integrators for multi-scale set-oriented computations
• 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
• A computer-assisted proof of existence of a periodic solution
• New bifurcations in the simplest passive walking model
• The Schaper formula and the Lascoux, Leclerc and Thibon algorithm.
• 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
• Torus knot choreographies in the \(n\)-body problem
• Efficient and generic algorithm for rigorous integration forward in time of dPDEs. I
• 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
• Existence of periodic solutions of the Fitzhugh-Nagumo equations for an explicit range of the small parameter
• 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
• Validated numerics for equilibria of analytic vector fields: Invariant manifolds and connecting orbits
• An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs
• Beyond the Melnikov method: A computer assisted approach
• Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs
• Beyond the Melnikov method. II: Multidimensional setting
• 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
• Uncertainty propagation or box propagation
• The Reach-and-Evolve Algorithm for Reachability Analysis of Nonlinear Dynamical Systems
• Period doubling in the Rössler system -- a computer assisted proof
• A symbolic-numeric validation algorithm for linear ODEs with Newton-Picard method
• Recent development in rigorous computational methods in dynamical systems
• Rigorous numerics for dissipative partial differential equations. II: Periodic orbit for the Kuramoto-Sivashinsky PDE -- a computer-assisted proof
• Destruction of invariant curves in the restricted circular planar three-body problem by using comparison of action
• Stationary coexistence of hexagons and rolls via rigorous computations
• Rigorous numerics for ODEs using Chebyshev series and domain decomposition
• Computer assisted proofs for transverse collision and near collision orbits in the restricted three body problem
• Coexistence and dynamical connections between hyperchaos and chaos in the 4D Rössler system: a computer-assisted proof
• A rigorous ODE solver and Smale's 14th problem
• Analytic continuation of local (un)stable manifolds with rigorous computer assisted error bounds
• Validated computation of heteroclinic sets
• Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds
• Chaos in the Kuramoto-Sivashinsky equations -- a computer-assisted proof.
• On the stability of periodic \(N\)-body motions with the symmetry of platonic polyhedra

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)