Pages that link to "Item:Q4571153"
From MaRDI portal
The following pages link to Computer-Assisted Proof of Heteroclinic Connections in the One-Dimensional Ohta--Kawasaki Model (Q4571153):
Displaying 13 items.
- Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation (Q1629118) (← links)
- Equilibrium validation in models for pattern formation based on Sobolev embeddings (Q2026625) (← links)
- CAPD::DynSys: a flexible C++ toolbox for rigorous numerical analysis of dynamical systems (Q2038109) (← links)
- A numerical verification method to specify homoclinic orbits as application of local Lyapunov functions (Q2135544) (← links)
- Recent advances in a rigorous computation of Poincaré maps (Q2137186) (← links)
- Equilibrium validation for triblock copolymers via inverse norm bounds for fourth-order elliptic operators (Q2170862) (← links)
- A functional analytic approach to validated numerics for eigenvalues of delay equations (Q2192455) (← links)
- A rigorous implicit \(C^1\) Chebyshev integrator for delay equations (Q2665531) (← links)
- Rigorous FEM for One-Dimensional Burgers Equation (Q5004526) (← links)
- Microscopic patterns in the 2D phase-field-crystal model (Q5036280) (← links)
- Computer‐assisted analysis of chaos in a three‐species food chain model (Q6091789) (← links)
- Cyclic symmetry induced pitchfork bifurcations in the diblock copolymer model (Q6139059) (← links)
- Validated numerical approximation of stable manifolds for parabolic partial differential equations (Q6142331) (← links)
