Deakstadieđáhus: Experimental number theory