Plum, Michael Computer-assisted proofs for semilinear elliptic boundary value problems. (English) Zbl 1186.35073 Japan J. Ind. Appl. Math. 26, No. 2-3, 419-442 (2009). MSC: 35J61 35J25 47N20 65N35 68T15 PDFBibTeX XMLCite \textit{M. Plum}, Japan J. Ind. Appl. Math. 26, No. 2--3, 419--442 (2009; Zbl 1186.35073) Full Text: DOI Euclid
Breuer, B.; McKenna, P. J.; Plum, M. Multiple solutions for a semilinear boundary value problem: a computational multiplicity proof. (English) Zbl 1156.35359 J. Differ. Equations 195, No. 1, 243-269 (2003). MSC: 35J60 35J25 47J30 58E05 35J65 35A15 PDFBibTeX XMLCite \textit{B. Breuer} et al., J. Differ. Equations 195, No. 1, 243--269 (2003; Zbl 1156.35359) Full Text: DOI