ZX Sketch
A web-based graphical editor for creating and manipulating ZX calculus diagrams.
ZX Calculus Online
An online, gamified introduction to quantum computation using the graphical language of the ZX calculus.
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.