Alex Dean

Papers & Publications

1. Firefighting on the Hexagonal Grid and on Infinite Trees, appeared in Discrete Applied Mathematics — With Sean English, Tongyun Huang, Robert A. Krueger, Andy Lee, Mose Mizrahi, and Casey Wheaton-Werle; December 2021.
2. Automatic Theorem Proving — With Reed Oei, Eric Ma, Tatum Schmidt, Christian Shulz, and Philipp Hieronymi; December 2019.
3. Explorations of the Stern Sequence — With Grace Jaffe, Jared Lobo, and Philipp Hieronymi; August 2019.