A computer-aided proof of the existence of smooth rational surfaces Presentation