Pages that link to "Item:Q4557494"
From MaRDI portal
The following pages link to Computer-assisted bifurcation diagram validation and applications in materials science (Q4557494):
Displaying 13 items.
- Rigorous continuation of bifurcation points in the diblock copolymer equation (Q1654464) (← 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)
- From the Lagrange polygon to the figure eight. I: Numerical evidence extending a conjecture of Marchal (Q2033679) (← links)
- Equilibrium validation for triblock copolymers via inverse norm bounds for fourth-order elliptic operators (Q2170862) (← links)
- Numerical inclusion of exact periodic solutions for time delay Duffing equation (Q2297166) (← links)
- Validated Saddle-Node Bifurcations and Applications to Lattice Dynamical Systems (Q2826307) (← links)
- Introduction to rigorous numerics in dynamics: General functional analytic setup and an example that forces chaos (Q4557491) (← links)
- Continuation of solutions and studying delay differential equations via rigorous numerics (Q4557493) (← links)
- Rigorous Verification of Hopf Bifurcations via Desingularization and Continuation (Q5004084) (← links)
- Existence of traveling wave solutions for the Diffusion Poisson Coupled Model: a computer-assisted proof (Q5074385) (← links)
- Cyclic symmetry induced pitchfork bifurcations in the diblock copolymer model (Q6139059) (← links)
- A Posteriori Validation of Generalized Polynomial Chaos Expansions (Q6174000) (← links)
