Cited in
(20)- Rigorous continuation of bifurcation points in the diblock copolymer equation
- Traveling wave oscillatory patterns in a signed Kuramoto-Sivashinsky equation with absorption
- Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation
- A general framework for validated continuation of periodic orbits in systems of polynomial ODEs
- A general method for computer-assisted proofs of periodic solutions in delay differential problems
- Parameterized stable/unstable manifolds for periodic solutions of implicitly defined dynamical systems
- INTLAB
- CAPD
- PolyPaver
- Taylor
- galepu
- RODES
- CAPD DynSys
- navierstokes
- Torus knot choreographies in the \(n\)-body problem
- A proof of Jones' conjecture
- Rigorous verification of Hopf bifurcations via desingularization and continuation
- A rigorous implicit \(C^1\) Chebyshev integrator for delay equations
- Computer assisted Fourier analysis in sequence spaces of varying regularity
- Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs
This page was built for software: CkAnalytic
