Deakstadieđáhus: Computational number theory