A computer-aided proof of the existence of a smooth rational surface Presentation