Pages that link to "Item:Q383608"
From MaRDI portal
The following pages link to Global bifurcation diagrams of steady states of systems of PDEs via rigorous numerics: a 3-component reaction-diffusion system (Q383608):
Displaying 29 items.
- Rigorous numerics for nonlinear operators with tridiagonal dominant linear part (Q255432) (← links)
- Computation of smooth manifolds via rigorous multi-parameter continuation in infinite dimensions (Q285445) (← links)
- Computing (un)stable manifolds with validated error bounds: non-resonant and resonant spectra (Q310798) (← links)
- Rigorous numerics for piecewise-smooth systems: a functional analytic approach based on Chebyshev series (Q495099) (← links)
- Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation (Q1629118) (← 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)
- Continuation of homoclinic orbits in the suspension bridge equation: a computer-assisted proof (Q1688658) (← links)
- Existence and instability of steady states for a triangular cross-diffusion system: a computer-assisted proof (Q1704549) (← links)
- A proof of Jones' conjecture (Q1710557) (← links)
- Some unexpected results on the Brillouin singular equation: fold bifurcation of periodic solutions (Q1753228) (← links)
- Rigorous numerics for ODEs using Chebyshev series and domain decomposition (Q1983482) (← links)
- A general framework for validated continuation of periodic orbits in systems of polynomial ODEs (Q2026919) (← links)
- On the influence of cross-diffusion in pattern formation (Q2043426) (← links)
- Rigorous validation of a Hopf bifurcation in the Kuramoto-Sivashinsky PDE (Q2076212) (← links)
- Validated numerics for period-tupling and touch-and-go bifurcations of symmetric periodic orbits in reversible systems (Q2207440) (← links)
- Numerical continuation for a fast-reaction system and its cross-diffusion limit (Q2216496) (← links)
- Validated computations for connecting orbits in polynomial vector fields (Q2302341) (← links)
- Differential equations arising from organising principles in biology. Abstracts from the workshop held September 23--29, 2018 (Q2331907) (← links)
- Rigorous validation of stochastic transition paths (Q2334873) (← links)
- Rigorous computation of non-uniform patterns for the 2-dimensional Gray-Scott reaction-diffusion equation (Q2412747) (← links)
- Hopf bifurcations in the full SKT model and where to find them (Q2676240) (← 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)
- Existence of traveling wave solutions for the Diffusion Poisson Coupled Model: a computer-assisted proof (Q5074385) (← links)
- Torus knot choreographies in the n-body problem (Q5147943) (← links)
- Validation of the bifurcation diagram in the 2D Ohta–Kawasaki problem (Q5346534) (← links)
- A Posteriori Validation of Generalized Polynomial Chaos Expansions (Q6174000) (← links)