CAPD

swMATH7620MaRDI QIDQ19645FDOQ19645

Author name not available (Why is that?)

Cited In (78)

• Topological Descriptors for 3D Surface Analysis
• Computing Homology: A Global Reduction Approach
• Tropical abstraction of biochemical reaction networks with guarantees
• Periodic orbits in the Rössler system
• Allowing cycles in discrete Morse theory
• A general framework for validated continuation of periodic orbits in systems of polynomial ODEs
• Rigorous FEM for One-Dimensional Burgers Equation
• A dynamical interval Newton method
• A computer-assisted proof of the existence of Smale horseshoe for the folded-towel map
• Stable periodic orbits for the Mackey-Glass equation
• Fast, Simple and Separable Computation of Betti Numbers on Three-Dimensional Cubical Complexes
• 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
• An Algorithmic Approach to Lattices and Order in Dynamics
• Bounded invariant verification for time-delayed nonlinear networked dynamical systems
• Numerical integration of high-order variational equations of ODEs
• Coreduction homology algorithm for regular CW-complexes
• Computer-assisted proofs for radially symmetric solutions of PDEs
• CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems
• The parameterization method for invariant manifolds. From rigorous results to effective computations
• 3D well-composed polyhedral complexes
• Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants
• On 2-dimensional simple sets in \(n\)-dimensional cubic grids
• Rigorous numerics in dynamics
• CAPD::RedHom v2 - Homology Software Based on Reduction Algorithms
• Computing multiparameter persistent homology through a discrete Morse-based approach
• Homology algorithm based on acyclic subspace
• Topological horseshoes of traveling waves for a fast-slow predator-prey system
• A computer-assisted proof of symbolic dynamics in Hyperion's rotation
• Reachability analysis of linear dynamic systems with constant, arbitrary, and Lipschitz continuous inputs
• A study of rigorous ODE integrators for multi-scale set-oriented computations
• Rich Bifurcation Structure in a Two-Patch Vaccination Model
• Discrete Morse theoretic algorithms for computing homology of complexes and maps
• Rigorous computer-assisted application of KAM theory: a modern approach
• A general method for computer-assisted proofs of periodic solutions in delay differential problems
• Existence of Globally Attracting Solutions for One-Dimensional Viscous Burgers Equation with Nonautonomous Forcing---A Computer Assisted Proof
• Connecting orbits for a singular nonautonomous real Ginzburg-Landau type equation
• Steady state bifurcations for the Kuramoto-Sivashinsky equation: a computer assisted proof
• Topological approach to rigorous numerics of chaotic dynamical systems with strong expansion of error bounds
• Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra
• A database of rigorous and high-precision periodic orbits of the Lorenz model
• Rigorous Simulation-Based Analysis of Linear Hybrid Systems
• When chaos meets hyperchaos: 4D Rössler model
• Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds
• Efficient and generic algorithm for rigorous integration forward in time of dPDEs. I
• The persistent homology of a self-map
• Heteroclinic connections between periodic orbits in planar restricted circular three body problem. II
• Tools to detect structures in dynamical systems using jet transport
• Perfect Discrete Morse Functions on Triangulated 3-Manifolds
• A novel technique for cohomology computations in engineering practice
• Algorithm for rigorous integration of delay differential equations and the computer-assisted proof of periodic orbits in the Mackey-Glass equation
• An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs
• Discretization strategies for computing Conley indices and Morse decompositions of flows
• Rigorous enclosures of rotation numbers by interval methods
• Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs
• Systematic search for wide periodic windows and bounds for the set of regular parameters for the quadratic map
• Rigorous KAM results around arbitrary periodic orbits for Hamiltonian systems
• Čech type approach to computing homology of maps
• Period doubling in the Rössler system -- a computer assisted proof
• Decomposing Cavities in Digital Volumes into Products of Cycles
• Reliable nonlinear state estimation involving time uncertainties
• A geometric method for infinite-dimensional chaos: symbolic dynamics for the Kuramoto-Sivashinsky PDE on the line
• Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits
• Coreduction homology algorithm
• A family of periodic orbits in the three-dimensional lunar problem
• 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
• A Topological Approach to the Algorithmic Computation of the Conley Index for Poincaré Maps
• Necessary and sufficient condition for the global stability of a delayed discrete-time single neuron model
• Inducing a map on homology from a correspondence
• Introduction to rigorous numerics in dynamics: General functional analytic setup and an example that forces chaos
• Coreduction homology algorithm for inclusions and persistent homology
• Computing of B-series by automatic differentiation
• Local stability implies global stability for the 2-dimensional Ricker map
• Fixed points of a destabilized Kuramoto-Sivashinsky equation
• Uniformly Hyperbolic Attractor of the Smale–Williams Type for a Poincaré Map in the Kuznetsov System
• Computation of cubical homology, cohomology, and (co)homological operations via chain contraction
• CW Complexes for Complex Algebraic Surfaces

This page was built for software: CAPD