Pages that link to "Item:Q710895"
From MaRDI portal
The following pages link to Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs (Q710895):
Displayed 41 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)
- Global bifurcation diagrams of steady states of systems of PDEs via rigorous numerics: a 3-component reaction-diffusion system (Q383608) (← links)
- Efficient and generic algorithm for rigorous integration forward in time of dPDEs. I (Q461203) (← links)
- Rigorous numerics for piecewise-smooth systems: a functional analytic approach based on Chebyshev series (Q495099) (← links)
- Computer-assisted equilibrium validation for the diblock copolymer model (Q501487) (← 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)
- Computation of maximal local (un)stable manifold patches by the parameterization method (Q904186) (← links)
- Analytic enclosure of the fundamental matrix solution. (Q906995) (← 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)
- Rigorous numerics for ill-posed PDEs: periodic orbits in the Boussinesq equation (Q1704118) (← links)
- Existence and instability of steady states for a triangular cross-diffusion system: a computer-assisted proof (Q1704549) (← links)
- An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces (Q1736168) (← 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)
- Rigorous numerics for NLS: bound states, spectra, and controllability (Q1999948) (← links)
- Automatic differentiation for Fourier series and the radii polynomial approach (Q1999949) (← links)
- Global dynamics in nonconservative nonlinear Schrödinger equations (Q2078873) (← links)
- Rigorous enclosures of solutions of Neumann boundary value problems (Q2154877) (← links)
- Rigorous continuation of periodic solutions for impulsive delay differential equations (Q2247173) (← links)
- Recent advances about the uniqueness of the slowly oscillating periodic solutions of Wright's equation (Q2269624) (← links)
- Blow-up profile for solutions of a fourth order nonlinear equation (Q2349495) (← links)
- Rigorous computation of non-uniform patterns for the 2-dimensional Gray-Scott reaction-diffusion equation (Q2412747) (← links)
- Rigorous computation of smooth branches of equilibria for the three dimensional Cahn-Hilliard equation (Q2431105) (← links)
- A constructive proof of the Cauchy-Kovalevskaya theorem for ordinary differential equations (Q2659598) (← 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)
- Global smooth solution curves using rigorous branch following (Q3584839) (← links)
- Numerical verification for solutions to partial differential equations (Q4568286) (← links)
- Coexistence of nontrivial solutions of the one-dimensional Ginzburg-Landau equation: A computer-assisted proof (Q4594528) (← links)
- Rigorously Computing Symmetric Stationary States of the Ohta--Kawasaki Problem in Three Dimensions (Q4614397) (← links)
- Rigorous FEM for One-Dimensional Burgers Equation (Q5004526) (← links)
- Rigorous Numerical Enclosures for Positive Solutions of Lane–Emden’s Equation with Sub-Square Exponents (Q5075720) (← links)
- Rigorous Computation of a Radially Symmetric Localized Solution in a Ginzburg--Landau Problem (Q5250034) (← 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)
- A Posteriori Verification of Invariant Objects of Evolution Equations: Periodic Orbits in the Kuramoto--Sivashinsky PDE (Q5739157) (← links)
