Pages that link to "Item:Q1010060"
From MaRDI portal
The following pages link to Validated continuation over large parameter ranges for equilibria of PDEs (Q1010060):
Displaying 23 items.
- Computation of smooth manifolds via rigorous multi-parameter continuation in infinite dimensions (Q285445) (← links)
- Efficient and generic algorithm for rigorous integration forward in time of dPDEs. I (Q461203) (← 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 continuation of bifurcation points in the diblock copolymer equation (Q1654464) (← 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)
- Equilibrium validation in models for pattern formation based on Sobolev embeddings (Q2026625) (← links)
- From the Lagrange polygon to the figure eight. I: Numerical evidence extending a conjecture of Marchal (Q2033679) (← links)
- Rigorous enclosures of solutions of Neumann boundary value problems (Q2154877) (← links)
- Validated numerics for period-tupling and touch-and-go bifurcations of symmetric periodic orbits in reversible systems (Q2207440) (← links)
- Recent advances about the uniqueness of the slowly oscillating periodic solutions of Wright's equation (Q2269624) (← links)
- Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation (Q2431105) (← links)
- Rigorous numerics for analytic solutions of differential equations: the radii polynomial approach (Q2792369) (← links)
- Validated Saddle-Node Bifurcations and Applications to Lattice Dynamical Systems (Q2826307) (← links)
- Connecting Orbits for Compact Infinite Dimensional Maps: Computer Assisted Proofs of Existence (Q3188141) (← links)
- Global smooth solution curves using rigorous branch following (Q3584839) (← links)
- Computer-assisted bifurcation diagram validation and applications in materials science (Q4557494) (← links)
- Coexistence of nontrivial solutions of the one-dimensional Ginzburg-Landau equation: A computer-assisted proof (Q4594528) (← links)
- Rigorous FEM for One-Dimensional Burgers Equation (Q5004526) (← links)
- A Posteriori Verification of Invariant Objects of Evolution Equations: Periodic Orbits in the Kuramoto--Sivashinsky PDE (Q5739157) (← links)
- Cyclic symmetry induced pitchfork bifurcations in the diblock copolymer model (Q6139059) (← links)
