Algorithms for Computer Algebra