Pages that link to "Item:Q2431105"

The following pages link to Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation (Q2431105):

Displaying 22 items.

• Efficient and generic algorithm for rigorous integration forward in time of dPDEs. I (Q461203) (← links)
• Polynomial approximation of one parameter families of (un)stable manifolds with rigorous computer assisted error bounds (Q475594) (← 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)
• A construction of two different solutions to an elliptic system (Q1635604) (← links)
• Rigorous continuation of bifurcation points in the diblock copolymer equation (Q1654464) (← 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)
• An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces (Q1736168) (← links)
• Rigorous enclosures of solutions of Neumann boundary value problems (Q2154877) (← links)
• Rigorous continuation of periodic solutions for impulsive delay differential equations (Q2247173) (← links)
• Rigorous computation of non-uniform patterns for the 2-dimensional Gray-Scott reaction-diffusion equation (Q2412747) (← links)
• Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach (Q2792369) (← links)
• Computer Assisted Fourier Analysis in Sequence Spaces of Varying Regularity (Q2967914) (← links)
• Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence (Q3188141) (← links)
• Numerical verification for solutions to partial differential equations (Q4568286) (← links)
• Analytic Continuation of Local (Un)Stable Manifolds with Rigorous Computer Assisted Error Bounds (Q4608082) (← links)
• Rigorous Numerical Enclosures for Positive Solutions of Lane–Emden’s Equation with Sub-Square Exponents (Q5075720) (← links)
• A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations (Q5278036) (← links)
• Validation of the bifurcation diagram in the 2D Ohta–Kawasaki problem (Q5346534) (← links)
• Free Vibrations in a Wave Equation Modeling MEMS (Q5859785) (← links)
• Validated numerical approximation of stable manifolds for parabolic partial differential equations (Q6142331) (← links)