Pages that link to "Item:Q849190"

The following pages link to Computer-assisted proofs for semilinear elliptic boundary value problems (Q849190):

Displaying 23 items.

• Numerical analysis of semilinear elliptic equations with finite spectral interaction (Q441950) (← links)
• Computer-assisted equilibrium validation for the diblock copolymer model (Q501487) (← links)
• Sharp numerical inclusion of the best constant for embedding \(H_0^1(\Omega) \hookrightarrow L^p(\Omega)\) on bounded convex domain (Q730551) (← links)
• Exact real computation of solution operators for linear analytic systems of partial differential equations (Q832000) (← links)
• Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation (Q1629118) (← links)
• Non-radial solutions for some semilinear elliptic equations on the disk (Q1633693) (← links)
• Equilibrium validation in models for pattern formation based on Sobolev embeddings (Q2026625) (← links)
• A numerical proof algorithm for the non-existence of solutions to elliptic boundary value problems (Q2048421) (← links)
• Numerical verification for asymmetric solutions of the Hénon equation on bounded domains (Q2050927) (← links)
• Computer-assisted proof for the stationary solution existence of the Navier-Stokes equation over 3D domains (Q2076252) (← links)
• Computational complexity of classical solutions of partial differential equations (Q2104279) (← links)
• Equilibrium validation for triblock copolymers via inverse norm bounds for fourth-order elliptic operators (Q2170862) (← links)
• Some improvements of invertibility verifications for second-order linear elliptic operators (Q2174959) (← links)
• A new formulation using the Schur complement for the numerical existence proof of solutions to elliptic problems: without direct estimation for an inverse of the linearized operator (Q2217873) (← links)
• Verified norm estimation for the inverse of linear elliptic operators using eigenvalue evaluation (Q2257618) (← links)
• On the a posteriori estimates for inverse operators of linear parabolic equations with applications to the numerical enclosure of solutions for nonlinear problems (Q2454037) (← links)
• Validated numerical solutions for a semilinear elliptic equation on some topological annuli in the plane (Q2687339) (← links)
• Some Remarks on the Rigorous Estimation of Inverse Linear Elliptic Operators (Q2803604) (← links)
• Validated Saddle-Node Bifurcations and Applications to Lattice Dynamical Systems (Q2826307) (← links)
• A posteriori estimates of inverse operators for boundary value problems in linear elliptic partial differential equations (Q2840620) (← links)
• Computer-assisted bifurcation diagram validation and applications in materials science (Q4557494) (← links)
• Rigorous FEM for One-Dimensional Burgers Equation (Q5004526) (← links)
• Microscopic patterns in the 2D phase-field-crystal model (Q5036280) (← links)