Description:
A computer algebra system such as Mathematica(R) is able to do much more than just numerics: This revised text shows how to tackle real mathematical problems from basic analysis. The reader learns how Mathematica(R) represents domains, qualifiers and limits to implement actual proofs - a requirement to unlock the huge potential of Mathematica(R) for a variety of applications.