Describir: Computer alegebra and symbolic computation :