Starting with approximate solutions
of the equation -Δu=wu3 on the disk,
with zero boundary conditions,
we prove that there exist true solutions nearby.
One of the challenges here lies in the fact that
we need simultaneous and accurate control of
both the (inverse) Dirichlet Laplacean and nonlinearities.
We achieve this with the aid of a computer,
using a Banach algebra of real analytic functions,
based on Zernike polynomials.
Besides proving existence, and symmetry properties,
we also determine the Morse index of the solutions.