Cited in
(only showing first 100 items - show all)- Fast, simple and separable computation of Betti numbers on three-dimensional cubical complexes
- 3D well-composed polyhedral complexes
- Systematic search for wide periodic windows and bounds for the set of regular parameters for the quadratic map
- A topological approach to the algorithmic computation of the Conley index for Poincaré maps
- Stable periodic orbits for the Mackey-Glass equation
- Allowing cycles in discrete Morse theory
- Computing multiparameter persistent homology through a discrete Morse-based approach
- Introduction to rigorous numerics in dynamics: General functional analytic setup and an example that forces chaos
- A dynamical interval Newton method
- Reachability analysis of linear dynamic systems with constant, arbitrary, and Lipschitz continuous inputs
- Perfect discrete Morse functions on triangulated 3-manifolds
- An algorithmic approach to lattices and order in dynamics
- A general framework for validated continuation of periodic orbits in systems of polynomial ODEs
- Existence of periodic solutions of the Fitzhugh-Nagumo equations for an explicit range of the small parameter
- Computer-assisted proofs for radially symmetric solutions of PDEs
- Decomposing Cavities in Digital Volumes into Products of Cycles
- Tropical abstraction of biochemical reaction networks with guarantees
- Computing Homology: A Global Reduction Approach
- Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants
- A computer-assisted proof of symbolic dynamics in Hyperion's rotation
- Rigorous FEM for One-Dimensional Burgers Equation
- A general method for computer-assisted proofs of periodic solutions in delay differential problems
- A computer-assisted proof of the existence of Smale horseshoe for the folded-towel map
- Rigorous integration of smooth vector fields around spiral saddles with an application to the cubic Chua's attractor
- CW Complexes for Complex Algebraic Surfaces
- Numerical integration of high-order variational equations of ODEs
- Reliable nonlinear state estimation involving time uncertainties
- When chaos meets hyperchaos: 4D Rössler model
- Bounded invariant verification for time-delayed nonlinear networked dynamical systems
- Connecting orbits for a singular nonautonomous real Ginzburg-Landau type equation
- Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs
- Topological Descriptors for 3D Surface Analysis
- Periodic orbits in the Rössler system
- A novel technique for cohomology computations in engineering practice
- Discrete Morse theoretic algorithms for computing homology of complexes and maps
- Steady state bifurcations for the Kuramoto-Sivashinsky equation: a computer assisted proof
- Rigorous computer-assisted application of KAM theory: a modern approach
- The persistent homology of a self-map
- Algorithm for rigorous integration of delay differential equations and the computer-assisted proof of periodic orbits in the Mackey-Glass equation
- Rigorous KAM results around arbitrary periodic orbits for Hamiltonian systems
- A geometric method for infinite-dimensional chaos: symbolic dynamics for the Kuramoto-Sivashinsky PDE on the line
- Rigorous numerics in dynamics
- Period doubling in the Rössler system -- a computer assisted proof
- CAPD::RedHom v2 -- homology software based on reduction algorithms
- A study of rigorous ODE integrators for multi-scale set-oriented computations
- Heteroclinic connections between periodic orbits in planar restricted circular three body problem. II
- Homology algorithm based on acyclic subspace
- Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits
- Coreduction homology algorithm for inclusions and persistent homology
- Coreduction homology algorithm for regular CW-complexes
- Topological approach to rigorous numerics of chaotic dynamical systems with strong expansion of error bounds
- Coreduction homology algorithm
- Coexistence and dynamical connections between hyperchaos and chaos in the 4D Rössler system: a computer-assisted proof
- CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems
- Tools to detect structures in dynamical systems using jet transport
- Computing of B-series by automatic differentiation
- Fixed points of a destabilized Kuramoto-Sivashinsky equation
- GAIO
- AUTO2000
- Homology
- TIDES
- Topological horseshoes of traveling waves for a fast-slow predator-prey system
- Cosy
- PolyPaver
- RedHom
- Chom
- CHomP
- Taylor
- ChainCon
- VNODE
- Lorenz-Database
- Coin3D
- galepu
- CkAnalytic
- C2e2
- LySHA
- GRKLib
- Hybrid Trace Verifier
- Library of Triangulations
- Simplicial complex library
- Stabhyli
- RODES
- kv
- Computation of cubical homology, cohomology, and (co)homological operations via chain contraction
- Existence of Globally Attracting Solutions for One-Dimensional Viscous Burgers Equation with Nonautonomous Forcing---A Computer Assisted Proof
- Rich bifurcation structure in a two-patch vaccination model
- CAPD DynSys
- pyIbex
- Tubex
- navierstokes
- Rigorous simulation-based analysis of linear hybrid systems
- Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra
- On 2-dimensional simple sets in \(n\)-dimensional cubic grids
- A database of rigorous and high-precision periodic orbits of the Lorenz model
- A family of periodic orbits in the three-dimensional lunar problem
- Uniformly hyperbolic attractor of the Smale-Williams type for a Poincaré map in the Kuznetsov system
- Necessary and sufficient condition for the global stability of a delayed discrete-time single neuron model
- An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs
- Rigorous numerics for ODEs using Chebyshev series and domain decomposition
- Discretization strategies for computing Conley indices and Morse decompositions of flows
This page was built for software: CAPD
