De Gruyter, 2019. — 208 p. — ISBN 978-3-11-059014-2.
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.
True PDF