Mathematics for Computer Algebra