The following pages link to CAPD (Q19645):
Displaying 50 items.
- The parameterization method for invariant manifolds. From rigorous results to effective computations (Q266342) (← links)
- A study of rigorous ODE integrators for multi-scale set-oriented computations (Q289025) (← links)
- Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra (Q310798) (← links)
- A database of rigorous and high-precision periodic orbits of the Lorenz model (Q312809) (← links)
- Discretization strategies for computing Conley indices and Morse decompositions of flows (Q333770) (← links)
- Rigorous enclosures of rotation numbers by interval methods (Q333777) (← links)
- Computing of B-series by automatic differentiation (Q379767) (← links)
- Discrete Morse theoretic algorithms for computing homology of complexes and maps (Q404257) (← links)
- Efficient and generic algorithm for rigorous integration forward in time of dPDEs. I (Q461203) (← links)
- A novel technique for cohomology computations in engineering practice (Q465836) (← links)
- Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds (Q475594) (← links)
- Steady state bifurcations for the Kuramoto-Sivashinsky equation: a computer assisted proof (Q494285) (← links)
- Čech type approach to computing homology of maps (Q603858) (← links)
- Coreduction homology algorithm for inclusions and persistent homology (Q630667) (← links)
- Coreduction homology algorithm for regular CW-complexes (Q635750) (← links)
- Fixed points of a destabilized Kuramoto-Sivashinsky equation (Q669365) (← links)
- Period doubling in the Rössler system -- a computer assisted proof (Q734133) (← links)
- Tools to detect structures in dynamical systems using jet transport (Q748297) (← links)
- A geometric method for infinite-dimensional chaos: symbolic dynamics for the Kuramoto-Sivashinsky PDE on the line (Q778220) (← links)
- Heteroclinic connections between periodic orbits in planar restricted circular three body problem. II (Q818594) (← links)
- The persistent homology of a self-map (Q887153) (← links)
- Computer assisted error bounds for linear approximation of (un)stable manifolds and rigorous validation of higher dimensional transverse connecting orbits (Q907673) (← links)
- Homology algorithm based on acyclic subspace (Q945134) (← links)
- Topological approach to rigorous numerics of chaotic dynamical systems with strong expansion of error bounds (Q967202) (← links)
- On 2-dimensional simple sets in \(n\)-dimensional cubic grids (Q972600) (← links)
- Coreduction homology algorithm (Q1006400) (← links)
- Algorithm for rigorous integration of delay differential equations and the computer-assisted proof of periodic orbits in the Mackey-Glass equation (Q1620885) (← links)
- Reachability analysis of linear dynamic systems with constant, arbitrary, and Lipschitz continuous inputs (Q1626902) (← links)
- Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs (Q1670296) (← links)
- When chaos meets hyperchaos: 4D Rössler model (Q1681108) (← links)
- Rigorous computer-assisted application of KAM theory: a modern approach (Q1683736) (← links)
- Computer-assisted proofs for radially symmetric solutions of PDEs (Q1728241) (← links)
- An implicit algorithm for validated enclosures of the solutions to variational equations for ODEs (Q1733758) (← links)
- Reliable nonlinear state estimation involving time uncertainties (Q1797035) (← links)
- Rigorous numerics for ODEs using Chebyshev series and domain decomposition (Q1983482) (← links)
- A family of periodic orbits in the three-dimensional lunar problem (Q2005592) (← links)
- A computer-assisted proof of symbolic dynamics in Hyperion's rotation (Q2005635) (← links)
- Computation of cubical homology, cohomology, and (co)homological operations via chain contraction (Q2017610) (← links)
- A general framework for validated continuation of periodic orbits in systems of polynomial ODEs (Q2026919) (← links)
- A dynamical interval Newton method (Q2034215) (← links)
- CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems (Q2038109) (← links)
- Periodic orbits in the Rössler system (Q2038149) (← links)
- Stable periodic orbits for the Mackey-Glass equation (Q2040114) (← links)
- A general method for computer-assisted proofs of periodic solutions in delay differential problems (Q2134120) (← links)
- Computing multiparameter persistent homology through a discrete Morse-based approach (Q2206721) (← links)
- Tropical abstraction of biochemical reaction networks with guarantees (Q2229132) (← links)
- 3D well-composed polyhedral complexes (Q2255819) (← links)
- Verifying safety and persistence in hybrid systems using flowpipes and continuous invariants (Q2331077) (← links)
- Bounded invariant verification for time-delayed nonlinear networked dynamical systems (Q2374566) (← links)
- Allowing cycles in discrete Morse theory (Q2401549) (← links)
