CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems (Q2038109)

scientific article

Language	Label	Description	Also known as
English	CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems	scientific article

Statements

instance of

scholarly article

0 references

title

CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems (English)

0 references

0 references

0 references

0 references

0 references

Communications in Nonlinear Science and Numerical Simulation

0 references

publication date

9 July 2021

0 references

full work available at URL

https://arxiv.org/abs/2010.07097

0 references

zbMATH Keywords

rigorous numerical analysis

0 references

C++ library

0 references

computer-assisted proof

0 references

describes a project that uses

0 references

0 references

0 references

0 references

0 references

MaRDI publication profile

0 references

cites work

A Novel Interval Arithmetic Approach for Solving Differential-Algebraic Equations with ValEncIA-IVP

0 references

A computable and compositional semantics for hybrid automata

0 references

New methods for high-dimensional verified quadrature

0 references

The existence of simple choreographies for the<i>N</i>-body problem—a computer-assisted proof

0 references

Computer assisted proofs for nonsymmetric planar choreographies and for stability of the Eight

0 references

Systematic Computer-Assisted Proof of Branches of Stable Elliptic Periodic Orbits and Surrounding Invariant Tori

0 references

Chaos in the Lorenz equations: a computer-assisted proof

0 references

Chaos in the Lorenz equations: A computer assisted proof. Part II: Details

0 references

Chaos in the Lorenz equations: A computer assisted proof. III: Classical parameter values

0 references

CAPD::RedHom v2 - Homology Software Based on Reduction Algorithms

0 references

Computer assisted proof of chaos in the Rössler equations and in the Hénon map

0 references

Rigorous numerical approach to isolation in dynamical systems on the example of the Kuramoto-Sivashinsky equation

0 references

Computer assisted method for proving existence of periodic orbits

0 references

Q4036851

0 references

$C^1$ Lohner algorithm.

0 references

An equation for continuous chaos

0 references

An equation for hyperchaos

0 references

Deterministic Nonperiodic Flow

0 references

Steady solutions of the Kuramoto-Sivashinsky equation

0 references

Q3125531

0 references

A Lohner-type algorithm for control systems and ordinary differential inclusions

0 references

Symbolic dynamics for the Hénon-Heiles Hamiltonian on the critical level

0 references

Chaos in the Kuramoto-Sivashinsky equations -- a computer-assisted proof.

0 references

Heteroclinic connections between periodic orbits in planar restricted circular three-body problem -- a computer-assisted proof

0 references

Heteroclinic connections between periodic orbits in planar restricted circular three body problem. II

0 references

The existence of Shilnikov homoclinic orbits in the Michelson system: A computer assisted proof

0 references

Uniformly Hyperbolic Attractor of the Smale–Williams Type for a Poincaré Map in the Kuznetsov System

0 references

Computer Assisted Existence Proofs of Lyapunov Orbits at $L_2$ and Transversal Intersections of Invariant Manifolds in the Jupiter--Sun PCR3BP

0 references

Geometric proof of strong stable/unstable manifolds with application to the restricted three body problem

0 references

Destruction of invariant curves in the restricted circular planar three-body problem by using comparison of action

0 references

Rigorous integration of smooth vector fields around spiral saddles with an application to the cubic Chua's attractor

0 references

VALIDATED STUDY OF THE EXISTENCE OF SHORT CYCLES FOR CHAOTIC SYSTEMS USING SYMBOLIC DYNAMICS AND INTERVAL TOOLS

0 references

On the stability of periodic <i>N</i>-body motions with the symmetry of Platonic polyhedra

0 references

A computer-assisted proof of existence of a periodic solution

0 references

Existence proof of unimodal solutions of the Proudman-Johnson equation via interval analysis

0 references

Reliable nonlinear state estimation involving time uncertainties

0 references

Lagrangian reachabililty

0 references

Computer-Assisted Proof of Heteroclinic Connections in the One-Dimensional Ohta--Kawasaki Model

0 references

Computer assisted proofs of two-dimensional attracting invariant tori for ODEs

0 references

Rigorous verification of cocoon bifurcations in the Michelson system

0 references

Period doubling in the Rössler system -- a computer assisted proof

0 references

Validated numerics for period-tupling and touch-and-go bifurcations of symmetric periodic orbits in reversible systems

0 references

Computer Assisted Proof of the Existence of Homoclinic Tangency for the Hénon Map and for the Forced Damped Pendulum

0 references

Arnold diffusion in the planar elliptic restricted three-body problem: mechanism and numerical verification

0 references

Rigorous KAM results around arbitrary periodic orbits for Hamiltonian systems

0 references

Distribution of stable islands within chaotic areas in the non-hyperbolic and hyperbolic regimes in the Hénon-Heiles system

0 references

Existence of a Center Manifold in a Practical Domain around $L_1$ in the Restricted Three-Body Problem

0 references

Beyond the Melnikov method: A computer assisted approach

0 references

Beyond the Melnikov method. II: Multidimensional setting

0 references

Q5566070

0 references

Q5198996

0 references

MPFR

0 references

Set arithmetic and the enclosing problem in dynamics

0 references

A study of rigorous ODE integrators for multi-scale set-oriented computations

0 references

Q4949367

0 references

An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs

0 references

Computer assisted proof of chaos in the Lorenz equations

0 references

The existence of steady solutions of the Kuramoto-Sivashinsky equation

0 references

Abundance of heteroclinic and homoclinic orbits for the hyperchaotic Rössler system

0 references

A numerical verification method for the existence of weak solutions for nonlinear boundary value problems

0 references

Derived eigenvalues of symmetric matrices, with applications to distance geometry

0 references

Q4070368

0 references

A geometric method for infinite-dimensional chaos: symbolic dynamics for the Kuramoto-Sivashinsky PDE on the line

0 references

Identifiers

zbMATH Open document ID

1473.37004

0 references

DOI

10.1016/j.cnsns.2020.105578

0 references

Mathematics Subject Classification ID

0 references

0 references

0 references

0 references

0 references

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:2038109