Applications of Computer Algebra