Pages that link to "Item:Q3519426"

The following pages link to Validated Continuation for Equilibria of PDEs (Q3519426):

Displaying 50 items.

• Rigorous verification of saddle-node bifurcations in ODEs (Q307743) (← links)
• Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra (Q310798) (← links)
• Global bifurcation diagrams of steady states of systems of PDEs via rigorous numerics: a 3-component reaction-diffusion system (Q383608) (← links)
• Efficient and generic algorithm for rigorous integration forward in time of dPDEs. I (Q461203) (← links)
• Computer-assisted equilibrium validation for the diblock copolymer model (Q501487) (← links)
• Existence of secondary bifurcations or isolas for PDEs (Q544176) (← links)
• Computational fixed-point theory for differential delay equations with multiple time lags (Q665977) (← links)
• Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs (Q710895) (← links)
• Rigorous a-posteriori analysis using numerical eigenvalue bounds in a surface growth model (Q785373) (← links)
• Computation of maximal local (un)stable manifold patches by the parameterization method (Q904186) (← links)
• Analytic enclosure of the fundamental matrix solution. (Q906995) (← links)
• Validated continuation over large parameter ranges for equilibria of PDEs (Q1010060) (← links)
• Parameterization of invariant manifolds for periodic orbits. II: A posteriori analysis and computer assisted error bounds (Q1616363) (← links)
• 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)
• Continuation of homoclinic orbits in the suspension bridge equation: a computer-assisted proof (Q1688658) (← links)
• Rapidly and slowly oscillating periodic solutions of a delayed van der Pol oscillator (Q1692088) (← links)
• Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds (Q1692132) (← links)
• Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation (Q1704118) (← links)
• Existence and instability of steady states for a triangular cross-diffusion system: a computer-assisted proof (Q1704549) (← links)
• A proof of Wright's conjecture (Q1708143) (← links)
• An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces (Q1736168) (← links)
• Some unexpected results on the Brillouin singular equation: fold bifurcation of periodic solutions (Q1753228) (← links)
• Rigorous numerics for ODEs using Chebyshev series and domain decomposition (Q1983482) (← links)
• Rigorous numerics for NLS: bound states, spectra, and controllability (Q1999948) (← links)
• Automatic differentiation for Fourier series and the radii polynomial approach (Q1999949) (← links)
• Spatial periodic orbits in the equilateral circular restricted four-body problem: computer-assisted proofs of existence (Q2005582) (← links)
• Spontaneous periodic orbits in the Navier-Stokes flow (Q2022571) (← links)
• Equilibrium validation in models for pattern formation based on Sobolev embeddings (Q2026625) (← links)
• A general framework for validated continuation of periodic orbits in systems of polynomial ODEs (Q2026919) (← links)
• Spatial relative equilibria and periodic solutions of the Coulomb \((n+1)\)-body problem (Q2052903) (← links)
• A posteriori verification of the positivity of solutions to elliptic boundary value problems (Q2077122) (← links)
• Optimal periodic structures with general space group symmetries in the Ohta-Kawasaki problem (Q2116294) (← links)
• A general method for computer-assisted proofs of periodic solutions in delay differential problems (Q2134120) (← links)
• Validated integration of differential equations with state-dependent delay (Q2170835) (← links)
• Rigorous continuation of periodic solutions for impulsive delay differential equations (Q2247173) (← links)
• Computer assisted proof of transverse saddle-to-saddle connecting orbits for first order vector fields (Q2249804) (← links)
• Recent advances about the uniqueness of the slowly oscillating periodic solutions of Wright's equation (Q2269624) (← links)
• Traveling wave oscillatory patterns in a signed Kuramoto-Sivashinsky equation with absorption (Q2297163) (← links)
• Validated computations for connecting orbits in polynomial vector fields (Q2302341) (← links)
• Orbital stability investigations for travelling waves in a nonlinearly supported beam (Q2327416) (← links)
• Rigorous validation of stochastic transition paths (Q2334873) (← links)
• Rigorous numerical verification of uniqueness and smoothness in a surface growth model (Q2345484) (← links)
• Blow-up profile for solutions of a fourth order nonlinear equation (Q2349495) (← links)
• Rigorous computation of non-uniform patterns for the 2-dimensional Gray-Scott reaction-diffusion equation (Q2412747) (← links)
• Validated numerics for continuation and bifurcation of connecting orbits of maps (Q2423701) (← links)
• Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation (Q2431105) (← links)
• A constructive proof of the Cauchy-Kovalevskaya theorem for ordinary differential equations (Q2659598) (← links)
• Periodic orbits in Hořava-Lifshitz cosmologies (Q2682409) (← links)
• Defects and frustration in the packing of soft balls (Q2683579) (← links)