Nowadays, a computer algebra system such as Mathematica® can be a useful tool in many areas of mathematics, even those which not traditionally associated with computers. This text shows how Mathematica® can be used to tackle basic problems in real analysis, some of which lie beyond the scope of a traditional calculus course and even to implement actual proofs of selected statements. We also consider topics rarely found in calculus texts: quantifier elimination, the use of assumptions and domains, recurrence relations, the Risch integration algorithm. Although this book is concerned with pure analysis, it should help the reader to unlock the huge potential of Mathematica® for a variety of applications. A modern approach to mathematical analysis of one real variable with Mathematica®. Well suited to supplement a rigorous either introductory or advanced course in mathematical analysis. Suitable for self-study with a sufficiently complete textbook, e.g.

, one of the recommended ones. Contains illustrations and completely worked our examples related to the content of each chapter. Book jacket.