CAPD

swMATH7620MaRDI QIDQ19645FDOQ19645

Author name not available (Why is that?)

Official website: http://capd.ii.uj.edu.pl/

Cited In (only showing first 100 items - show all)

• Coreduction homology algorithm for regular CW-complexes
• 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
• On 2-dimensional simple sets in \(n\)-dimensional cubic grids
• Rigorous numerics in dynamics
• Rigorous simulation-based analysis of linear hybrid systems
• Homology algorithm based on acyclic subspace
• Topological horseshoes of traveling waves for a fast-slow predator-prey system
• A study of rigorous ODE integrators for multi-scale set-oriented computations
• Discrete Morse theoretic algorithms for computing homology of complexes and maps
• Rigorous computer-assisted application of KAM theory: a modern approach
• Existence of Globally Attracting Solutions for One-Dimensional Viscous Burgers Equation with Nonautonomous Forcing---A Computer Assisted Proof
• 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
• 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
• A topological approach to the algorithmic computation of the Conley index for Poincaré maps
• AUTO2000
• Homology
• TIDES
• 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
• Cosy
• PolyPaver
• RedHom
• Chom
• CHomP
• Taylor
• ChainCon
• VNODE
• Lorenz-Database
• Coin3D
• galepu
• 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
• Rigorous KAM results around arbitrary periodic orbits for Hamiltonian systems
• CkAnalytic
• C2e2
• LySHA
• GRKLib
• Hybrid Trace Verifier
• Library of Triangulations
• Simplicial complex library
• Stabhyli
• RODES
• kv
• Rich bifurcation structure in a two-patch vaccination model
• Čech type approach to computing homology of maps
• Period doubling in the Rössler system -- a computer assisted proof
• Uniformly hyperbolic attractor of the Smale-Williams type for a Poincaré map in the Kuznetsov system
• CAPD DynSys
• pyIbex
• Tubex
• navierstokes
• 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
• Necessary and sufficient condition for the global stability of a delayed discrete-time single neuron model
• Inducing a map on homology from a correspondence
• 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
• CAPD::RedHom v2 -- homology software based on reduction algorithms
• Fixed points of a destabilized Kuramoto-Sivashinsky equation
• Computation of cubical homology, cohomology, and (co)homological operations via chain contraction
• Topological Descriptors for 3D Surface Analysis
• Computer-assisted proofs for radially symmetric solutions of PDEs
• 3D well-composed polyhedral complexes
• Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants
• Computing multiparameter persistent homology through a discrete Morse-based approach
• Computing Homology: A Global Reduction Approach
• Tropical abstraction of biochemical reaction networks with guarantees
• Perfect discrete Morse functions on triangulated 3-manifolds
• A computer-assisted proof of symbolic dynamics in Hyperion's rotation
• Reachability analysis of linear dynamic systems with constant, arbitrary, and Lipschitz continuous inputs
• Periodic orbits in the Rössler system
• Fast, simple and separable computation of Betti numbers on three-dimensional cubical complexes
• Allowing cycles in discrete Morse theory
• A general method for computer-assisted proofs of periodic solutions in delay differential problems
• A general framework for validated continuation of periodic orbits in systems of polynomial ODEs
• Rigorous FEM for One-Dimensional Burgers Equation
• Connecting orbits for a singular nonautonomous real Ginzburg-Landau type equation
• An algorithmic approach to lattices and order in dynamics
• A dynamical interval Newton method
• When chaos meets hyperchaos: 4D Rössler model
• A computer-assisted proof of the existence of Smale horseshoe for the folded-towel map
• Stable periodic orbits for 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
• 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

This page was built for software: CAPD