Pages that link to "Item:Q3145991"
From MaRDI portal
The following pages link to A Computer-Assisted Uniqueness Proof for a Semilinear Elliptic Boundary Value Problem (Q3145991):
Displaying 12 items.
- Existence and multiplicity proofs for semilinear elliptic boundary value problems by computer assistance (Q1012465) (← links)
- A uniqueness result for a semilinear elliptic problem: a computer-assisted proof (Q1032871) (← links)
- Fourier-Taylor parameterization of unstable manifolds for parabolic partial differential equations: formalism, implementation and rigorous validation (Q1629118) (← 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)
- A posteriori verification for the sign-change structure of solutions of elliptic partial differential equations (Q2231596) (← links)
- Morse index and uniqueness of positive solutions of the Lane-Emden problem in planar domains (Q2314032) (← links)
- A computer-assisted existence proof for Emden's equation on an unbounded L-shaped domain (Q2974076) (← 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)
- Uniqueness and nondegeneracy for Dirichlet fractional problems in bounded domains via asymptotic methods (Q6179849) (← links)
- Uniqueness and nondegeneracy of least-energy solutions to fractional Dirichlet problems (Q6636315) (← links)
