ZX Sketch
A web-based graphical editor for creating and manipulating ZX calculus diagrams.
Proofset
An iOS app that converts handwritten math to LaTeX.
Quantum Physics of Real Quadratic Fields
Caltech SURF project with Professor Matilde Marcolli on 2-D quantum tori and Hilbert's 12th problem.
Matilde Marcolli's SURFers page / Caltech 2024 Student Abstract Book, p. 106
Formalization of Euclidean Geometry via Hilbert’s Axioms (Poster)
Authors: Mark Sandey, Harry Stoltz, Sudhir Murthy. Faculty mentor: Patricio Gallardo Candela.