CkAnalytic
From MaRDI portal
Software:31143
No author found.
Related Items (12)
A general method for computer-assisted proofs of periodic solutions in delay differential problems ⋮ Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation ⋮ Rigorous continuation of bifurcation points in the diblock copolymer equation ⋮ Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs ⋮ A rigorous implicit \(C^1\) Chebyshev integrator for delay equations ⋮ Computer Assisted Fourier Analysis in Sequence Spaces of Varying Regularity ⋮ A proof of Jones' conjecture ⋮ Torus knot choreographies in the n-body problem ⋮ A general framework for validated continuation of periodic orbits in systems of polynomial ODEs ⋮ Traveling wave oscillatory patterns in a signed Kuramoto-Sivashinsky equation with absorption ⋮ Rigorous Verification of Hopf Bifurcations via Desingularization and Continuation ⋮ Parameterized stable/unstable manifolds for periodic solutions of implicitly defined dynamical systems
This page was built for software: CkAnalytic