Past Projects

Gao, R., & Yeo, J. (2025). Computing Algebraic Integrals.

Jiang, H., Oh, R., Sun, K., & Yoon, P. (2025). Formalizing Wigner’s Semicircle Law in Lean.

Wei, S. (2025). Hardy’s Uncertainty Principle for 2π Periodic Functions.

Perry, L. (2025). Hidden Symmetries of Quantum Error Codes.

Ben-Gal, E., Bush, A., & Graham, B. (2025). Methods in Optimal Control Theory and the Role of Viscosity Solutions.

Harrison, R., & Machado, M. (2025). On Finite Subgroups of Orthogonal Groups.

Martin, A., Saligrama, A., & Sheehan, H. (2025). The Asymptotic Formula in Waring’s Problem, Generalized.

Hamlin, S. (2025). The Kodaira Embedding Theorem.

Ahsan, Z. (2024). Closed Geodesics on Kummer K3 Surfaces.

Cureton, D., Deering, N., & Lobe, E. (2024). Degrees of Sums of Algebraic Numbers in an Abelian Extension.

Bush, A., Dragomirescu, R., Hlavka, J., & Zhu, A. (2024). Markov Chains, Martingales, and Random Walks on Electrical Networks.

Walton, D., Wei, S., & Tellez, L. (2024). Methods of Functional Analysis and Geometry in Transportation Theory.

Lee, A. (2024). Minimal Surfaces and Bernstein’s Theorem.

Catullo, R. (2024). Riemann Existence Theorem.

Nakajima, D., Panidapu, A., Perry, L., & Skoraczewski, A. (2024). Towards an Alternate Proof of a Yang-Baxter Equation for Colored Lattice Models Using Skein Relations.

Brass, O. (2023). A Four-Manifold Invariant Arising from Involutive Heegaard Floer Homology.

Chen, Q. (2023). Bott Periodicity and Affine Grassmannians.

Ahsan, Z. (2023). Dissimilarity Between a Pair of Draws from Discrete Probability Vectors on Finite Sets of Objects.

McIntyre, Q., Steinberg, E., Westbrook, P., & Zhang, E. (2023). Estimated Prophet: The Prophet Inequality in Fair, Sample, and Multi-Selection Settings.

Dai, Y. (2023). Notes on Elliptic Sine Gordan Equation.