Pages that link to "Item:Q1012465"
From MaRDI portal
The following pages link to Existence and multiplicity proofs for semilinear elliptic boundary value problems by computer assistance (Q1012465):
Displaying 37 items.
- A posteriori error bounds for two point boundary value problems: a Green's function approach (Q317173) (← links)
- Fast interval matrix multiplication (Q451807) (← links)
- Computer-assisted equilibrium validation for the diblock copolymer model (Q501487) (← links)
- A numerical verification method for nonlinear functional equations based on infinite-dimensional Newton-like iteration (Q671009) (← links)
- A computer-assisted proof of the existence of solutions to a boundary value problem with an integral boundary condition (Q718434) (← links)
- Numerical verification for existence of a global-in-time solution to semilinear parabolic equations (Q729841) (← links)
- Sharp numerical inclusion of the best constant for embedding \(H_0^1(\Omega) \hookrightarrow L^p(\Omega)\) on bounded convex domain (Q730551) (← links)
- Rigorous a-posteriori analysis using numerical eigenvalue bounds in a surface growth model (Q785373) (← links)
- Computer-assisted proofs for semilinear elliptic boundary value problems (Q849190) (← links)
- Estimation of Sobolev-type embedding constant on domains with minimally smooth boundary using extension operator (Q896526) (← links)
- A uniqueness result for a semilinear elliptic problem: a computer-assisted proof (Q1032871) (← links)
- Computer-assisted existence proofs for two-point boundary value problems (Q1174351) (← links)
- Multiple solutions for a semilinear boundary value problem: a computational multiplicity proof. (Q1416464) (← links)
- Multiple solutions for a semilinear boundary value problem: A computational multiplicity proof (Q1593769) (← links)
- Estimation of Sobolev embedding constant on a domain dividable into bounded convex domains (Q1684618) (← links)
- An alternative approach to norm bound computation for inverses of linear operators in Hilbert spaces (Q1736168) (← links)
- A numerical proof algorithm for the non-existence of solutions to elliptic boundary value problems (Q2048421) (← links)
- Inverse norm estimation of perturbed Laplace operators and corresponding eigenvalue problems (Q2074125) (← links)
- A posteriori verification of the positivity of solutions to elliptic boundary value problems (Q2077122) (← links)
- Finite element approximation of invariant manifolds by the parameterization method (Q2098090) (← 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)
- A posteriori verification for the sign-change structure of solutions of elliptic partial differential equations (Q2231596) (← links)
- Numerical verification method for positive solutions of elliptic problems (Q2297084) (← links)
- Multi-level stabilized algorithms for the stationary incompressible Navier-Stokes equations with damping (Q2311774) (← links)
- Rigorous numerical computations for 1D advection equations with variable coefficients (Q2318496) (← links)
- An improved method for verifying the existence and bounds of the inverse of second-order linear elliptic operators mapping to dual space (Q2318498) (← links)
- Orbital stability investigations for travelling waves in a nonlinearly supported beam (Q2327416) (← links)
- Rigorous numerical verification of uniqueness and smoothness in a surface growth model (Q2345484) (← links)
- Norm bound computation for inverses of linear operators in Hilbert spaces (Q2634224) (← links)
- A computer-assisted existence proof for Emden's equation on an unbounded L-shaped domain (Q2974076) (← links)
- Numerical verification of positiveness for solutions to semilinear elliptic problems (Q3121396) (← links)
- A Computer-Assisted Uniqueness Proof for a Semilinear Elliptic Boundary Value Problem (Q3145991) (← links)
- Rigorous Numerical Enclosures for Positive Solutions of Lane–Emden’s Equation with Sub-Square Exponents (Q5075720) (← links)
- Computer-assisted Existence Proofs for One-dimensional Schrödinger-Poisson Systems (Q5126109) (← links)
- A Method of Verified Computations for Solutions to Semilinear Parabolic Equations Using Semigroup Theory (Q5347528) (← links)
- Efficient approaches for verifying the existence and bound of inverse of linear operators in Hilbert spaces (Q6101884) (← links)
