boundary value problem, elliptic, Dirichlet, Laplacean, semilinear, 
symmetries, Morse index, eigenvalues, computer-assisted proof