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.
{{comment.content}}