Pages that link to "Item:Q1032871"

The following pages link to A uniqueness result for a semilinear elliptic problem: a computer-assisted proof (Q1032871):

Displaying 14 items.

• A computer assisted study of uniqueness of ground state solutions (Q413726) (← links)
• Sign-definiteness of \(q\)-eigenfunctions for a super-linear \(p\)-Laplacian eigenvalue problem (Q461394) (← links)
• Existence and instability of steady states for a triangular cross-diffusion system: a computer-assisted proof (Q1704549) (← links)
• A posteriori verification of the positivity of solutions to elliptic boundary value problems (Q2077122) (← 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)
• Orbital stability investigations for travelling waves in a nonlinearly supported beam (Q2327416) (← links)
• Families of Periodic Solutions for Some Hamiltonian PDEs (Q2960071) (← 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)
• Existence and orbital stability/instability of standing waves with prescribed mass for the \(L^2\)-supercritical NLS in bounded domains and exterior domains (Q6107061) (← 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)