Describir: Computer algebra and symbolic computation :