Pages that link to "Item:Q2431105"
From MaRDI portal
The following pages link to Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation (Q2431105):
Displayed 21 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)