Books

Visual Group Theory
Mathematics Association of America Press, 2009
Group theory is the branch of mathematics that studies symmetry, found in crystals, art, architecture, music and many other contexts, but its beauty is lost on students when it is taught in a technical style that is difficult to understand. Visual Group Theory assumes only a high school mathematics background and covers a typical undergraduate course in group theory from a thoroughly visual perspective. The more than 300 illustrations in Visual Group Theory bring groups, subgroups, homomorphisms, products, and quotients into clear view. Every topic and theorem is accompanied with a visual demonstration of its meaning and import, from the basics of groups and subgroups through advanced structural concepts such as semidirect products and Sylow theory.

Introduction to the Mathematics of Computer Graphics
Mathematical Association of America Press, 2016
Readers learn the mathematics behind the computational aspects of space, shape, transformation, color, rendering, animation, and modeling. The text answers questions such as these: How do artists build up realistic shapes from geometric primitives? What computations is my computer doing when it generates a realistic image of my 3D scene? What mathematical tools can I use to animate an object through space? Why do movies always look more realistic than video games? The text culminates in a project in which students create a short animated movie using free software. Instructors interested in exposing their liberal arts students to the beautiful mathematics behind computer graphics will find a rich resource in this text. Requires only free software available for all platforms.

Data Science for Mathematicians
Taylor and Francis, 2020
Mathematicians already have most of the foundational knowledge for data science. This text builds on what a mathematician already knows to enable them to use data to answer questions and report those answers in compelling ways. This handbook helps mathematicians better understand the opportunities presented by data science in curricula, research, and career opportunities. Chapter authors from academia and industry present expertise from mathematics, statistics, and computer science that inform data work, including chapters on applied linear algebra, optimization, dimensionality reduction, AI/ML, and topological data analysis.
forall\(x\) in Lurch (archived)
This book builds on the OER text forall\(x\) by P.D. Magnus. It uses an educational proof checker called Lurch, a project I helped direct for many years. I am no longer involved with the Lurch project and this text is for an out-of-date version of the software. It is provided here for archival purposes only.
I no longer work on the Lurch project, but its latest version is here.
The text is for an old version of Lurch (2011), but you can still download a PDF.