Computer algebra and symbolic computation