1. P.J. McKenna, F. Pacella, M. Plum, D. Roth,
A Uniqueness Result for a Semilinear Elliptic Problem: A Computer-assisted Proof, J. Differential Equations 247 (2009) 2140-2162
appendant matlab-files:
Readme
matlab-files
sample-data
2. P.J. McKenna, F. Pacella, M. Plum, D. Roth
A computer-assisted uniqueness proof for a semilinear elliptic boundary value problem
appendant matlab-files:
