Describir: Experimental mathematics, computers and the a priori.