SMS: Computer algebra