# Projects

# Open Source Math Software

- Group Explorer - group theory visualization (but getting a little long in the tooth now… anyone interested in updating this in HTML5 for the web?)
- Lurch - a general validation environment for mathematical reasoning in first proof courses (currently being updated for the web)
- Model games - a simple web app for the game-theoretic semantics of predicate logic, which I use in my honors logic class

# Textbooks

**Visual Group Theory**, Mathematical Association of America, 2009- textbook site (summary, errata, etc.)
- publisher site (to purchase the text)

**Introduction to the Mathematics of Computer Graphics**, Mathematical Association of America, 2015- textbook site (many supplementary resources)
- publisher site (to purchase the text)

**forallx in Lurch**, with coauthor P.D. Magnus- textbook site (download text for free as a PDF)

# Capstone supervision

During Spring 2010, I supervised Lubka Dagorova’s honors capstone project. She created a Microsoft Excel Add-in for examining arbitrage opportunities in international stock exchanges. See more here.