Analysis with Mathematica®

Published by De Gruyter, Analysis with Mathematica®: Single Variable Calculus (2nd Edition) by Galina Filipuk and Andrzej Kozłowski provides a structured introduction to basic analysis and single variable calculus. The textbook grounds theoretical concepts in computational workflows using Mathematica implementation.

A central focus of the work is the execution of mathematical proofs within a computational environment. The authors explain how Mathematica represents domains, qualifiers, and limits to support formal logical arguments.

This 288-page volume integrates symbolic manipulation with foundational calculus principles. It functions as a practical resource for examining the intersection of computer algebra and mathematical analysis.