Pages that link to "Item:Q2855098"
From MaRDI portal
The following pages link to Efficient Rigorous Numerics for Higher-Dimensional PDEs via One-Dimensional Estimates (Q2855098):
Displaying 18 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)
- Computer-assisted equilibrium validation for the diblock copolymer model (Q501487) (← links)
- Computation of maximal local (un)stable manifold patches by the parameterization method (Q904186) (← links)
- Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation (Q1629118) (← links)
- Fourier-Taylor approximation of unstable manifolds for compact maps: numerical implementation and computer-assisted error bounds (Q1692132) (← links)
- Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation (Q1704118) (← links)
- An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces (Q1736168) (← 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)
- Introduction to rigorous numerics in dynamics: General functional analytic setup and an example that forces chaos (Q4557491) (← 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)
- Stationary Coexistence of Hexagons and Rolls via Rigorous Computations (Q5258573) (← 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)
