A computer algebra system such as Mathematica (R) is able to do much more than just numerics: This 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.

The book deals with functions of many variables: differentiation and integration, extrema with a number of digressions to related subjects such as curves, surfaces and Morse theory. The background needed for understanding the examples and how to compute in Mathematica (R) will also be discussed.