Pages that link to "Item:Q2967914"
From MaRDI portal
The following pages link to Computer Assisted Fourier Analysis in Sequence Spaces of Varying Regularity (Q2967914):
Displayed 14 items.
- Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation (Q1629118) (← links)
- Rigorous continuation of bifurcation points in the diblock copolymer equation (Q1654464) (← links)
- A proof of Jones' conjecture (Q1710557) (← links)
- A general framework for validated continuation of periodic orbits in systems of polynomial ODEs (Q2026919) (← links)
- Parameterized stable/unstable manifolds for periodic solutions of implicitly defined dynamical systems (Q2112931) (← links)
- A general method for computer-assisted proofs of periodic solutions in delay differential problems (Q2134120) (← links)
- Rigorous enclosures of solutions of Neumann boundary value problems (Q2154877) (← links)
- Traveling wave oscillatory patterns in a signed Kuramoto-Sivashinsky equation with absorption (Q2297163) (← links)
- Rigorous numerical computations for 1D advection equations with variable coefficients (Q2318496) (← links)
- A rigorous implicit \(C^1\) Chebyshev integrator for delay equations (Q2665531) (← links)
- Rigorous Verification of Hopf Bifurcations via Desingularization and Continuation (Q5004084) (← links)
- Torus knot choreographies in the n-body problem (Q5147943) (← links)
- Computer assisted proof of homoclinic chaos in the spatial equilateral restricted four-body problem (Q6065756) (← links)
- A Posteriori Validation of Generalized Polynomial Chaos Expansions (Q6174000) (← links)