"Concerning (partial) differential equations, amongst many others two questions are of great importance: existence and uniqueness, or more general multiplicity of solutions... There are plenty of equations, where analytical methods fail to work." The author describes in this work a computer-assisted method for proving existence and multiplicity of solutions of fourth order nonlinear elliptic boundary value problems. The main idea of this method is to compute a good numerical approximation of a solution and certain defect bounds with computer-assistance. Then a rigorous proof of the existence...