Computer-assisted proofs for some nonlinear diffusion problems
From MaRDI portal
Publication:6359642
DOI10.1016/J.CNSNS.2022.106292arXiv2102.01501WikidataQ113877804 ScholiaQ113877804MaRDI QIDQ6359642
Publication date: 28 January 2021
Laplace operator, Helmholtz equation (reduced wave equation), Poisson equation (35J05) Numerical methods for partial differential equations, boundary value problems (65N99) Semilinear elliptic equations with Laplacian, bi-Laplacian or poly-Laplacian (35J91)
This page was built for publication: Computer-assisted proofs for some nonlinear diffusion problems