SMS: Computer algebra and symbolic computation