Pages that link to "Item:Q710895"

The following pages link to Analytic estimates and rigorous continuation for equilibria of higher-dimensional PDEs (Q710895):

Displaying 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)