Faculty Scholarship from 2024
Internal Parametricity, without an Interval, Thorsten Altenkirch, Yorgo Chamoun, Ambrus Kaposi, and Michael Shulman
Strange new universes: Proof assistants and synthetic foundations, Michael Shulman
Faculty Scholarship from 2023
Broadening Views of Mathematical Creativity: Inclusion of the Undergraduate Student Perspective, Emily Cilli-Turner, V. Rani Satyam, Miloš Savić, Gail Tang, Houssein El Turkey, and Gulden Karakok
Colorful Graph Associahedra, Satyan L. Devadoss and Mia Smith
A Characterization of Two-Dimensional Buchsbaum Matching Complexes, Bennet Goeckner, Fran Herr, Legrand Jones, and Rowan Rowlands
LNL Polycategories and Doctrines of Linear Logic, Michael Shulman
Faculty Scholarship from 2017
Mathematically Gifted and Black, Candice Price, Raegan Higgins, Erica Graham, and Shelby Wilson
Faculty Scholarship from 2009
Z-Transform Methods for the Optimal Design of One-Dimensional Layered Elastic Media, Ani P. Velo, George A. Gazonas, and Takanobu Ameya
Faculty Scholarship from 2008
Recursive Dispersion Relations in One-Dimensional Periodic Elastic Media, Ani P. Velo, George A. Gazonas, Erwin Bruder, and Nancy Rodriguez
Faculty Scholarship from 2007
Why? Why? Why?: Future Teachers Discover Mathematical Depth, Perla Myers PhD