Pages that link to "Item:Q4594528"

The following pages link to Coexistence of nontrivial solutions of the one-dimensional Ginzburg-Landau equation: A computer-assisted proof (Q4594528):

Displaying 8 items.

• Rigorous numerics for piecewise-smooth systems: a functional analytic approach based on Chebyshev series (Q495099) (← links)
• Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation (Q1629118) (← links)
• Continuation of homoclinic orbits in the suspension bridge equation: a computer-assisted proof (Q1688658) (← links)
• Automatic differentiation for Fourier series and the radii polynomial approach (Q1999949) (← links)
• A general framework for validated continuation of periodic orbits in systems of polynomial ODEs (Q2026919) (← links)
• Blow-up profile for solutions of a fourth order nonlinear equation (Q2349495) (← links)
• Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach (Q2792369) (← links)
• A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations (Q5278036) (← links)