CkAnalytic

swMATH19313MaRDI QIDQ31143FDOQ31143

Author name not available (Why is that?)

Cited In (12)

• Torus knot choreographies in the n-body problem
• 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
• Rigorous Verification of Hopf Bifurcations via Desingularization and Continuation
• 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
• Polynomial interpolation and a priori bootstrap for computer-assisted proofs in nonlinear ODEs
• Traveling wave oscillatory patterns in a signed Kuramoto-Sivashinsky equation with absorption
• Computer Assisted Fourier Analysis in Sequence Spaces of Varying Regularity
• A proof of Jones' conjecture

This page was built for software: CkAnalytic