SMS: Computational mathematics