Galina Filipuk; Andrzej Kozlowski: Analysis with Mathematica®. Volume 1 Single Variable Calculus (De Gruyter Textbook) (2019. XIV, 191 S. 16 b/w and 52 col. ill., 20 b/w tbl. 240 mm)

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.