Acknowledgements

$\newcommand{\R}{\mathbb R} \newcommand{\lt}{<} \newcommand{\gt}{>} \newcommand{\amp}{&} \definecolor{fillinmathshade}{gray}{0.9} \newcommand{\fillinmath}[1]{\mathchoice{\colorbox{fillinmathshade}{$\displaystyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\textstyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\scriptstyle \phantom{\,#1\,}$}}{\colorbox{fillinmathshade}{$\scriptscriptstyle\phantom{\,#1\,}$}}} $

Preface Acknowledgements

Thanks to the following people who’ve contributed to this handbook.

The American Institute of Mathematics
³
aimath.org
, for funding my travel to JMM 2024 and JMM 2025 to run professional enhancement programs based upon this handbook.
Jeremy Avigad, for adding Codespaces support to his book Mathematics in Lean in time for JMM 2024.
Francesca Gandini and Brandon Sisler, for co-organizing the JMM 2024 professional enrichment program that this book was written for originally.
Tien Chih and Oscar Levin for contributing chapters on AI and Manim, repsectively.

Prev Top Next