The paper presents a computed-assisted proof to an uniqueness result for positive solutions of a semilinear elliptic problem in a square in the plane.
A computer-assisted uniqueness proof for a semilinear elliptic boundary value problem / Patrick J., Mckenna; Pacella, Filomena; Michael, Plum; Dagmar, Roth. - STAMPA. - 161(2012), pp. 31-52. [10.1007/978-3-0348-0249-9_3].
A computer-assisted uniqueness proof for a semilinear elliptic boundary value problem
PACELLA, Filomena;
2012
Abstract
The paper presents a computed-assisted proof to an uniqueness result for positive solutions of a semilinear elliptic problem in a square in the plane.File allegati a questo prodotto
Non ci sono file associati a questo prodotto.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
