Generation of simple quadrangulations of the sphere

We also give a theoretical enumeration of rooted planar quadrangulations of minimum degree 3, and some counts obtained by a program of Brinkmann and McKay that implements our algorithm.