swMATH19313MaRDI QIDQ31143FDOQ31143
Author name not available (Why is that?)
Official website: http://archimede.mat.ulaval.ca/jplessard/CkAnalytic/
Cited In (20)
- Rigorous continuation of bifurcation points in the diblock copolymer equation
- Parameterized stable/unstable manifolds for periodic solutions of implicitly defined dynamical systems
- A rigorous implicit \(C^1\) Chebyshev integrator for delay equations
- Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation
- 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
- Computer assisted Fourier analysis in sequence spaces of varying regularity
- Torus knot choreographies in the \(n\)-body problem
- INTLAB
- CAPD
- PolyPaver
- Taylor
- galepu
- Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs
- RODES
- CAPD DynSys
- navierstokes
- Traveling wave oscillatory patterns in a signed Kuramoto-Sivashinsky equation with absorption
- Rigorous verification of Hopf bifurcations via desingularization and continuation
- A proof of Jones' conjecture
This page was built for software: CkAnalytic
