SMS: Computational number theory