elliptic PDE, semilinear, annulus, conformal mapping, 
multi-bump solutions, computer-assisted,validated numerics