Computer Algebra and Problem Solving Environments