A computer algebra system such as Mathematica® 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® represents domains qualifiers and limits to implement actual proofs - a
requirement to unlock the huge potential of Mathematica® for a variety of applications.
