Some geometry/graphics projects

Nonisometric Flows on Planar Curves: Link

Parallel Fast Tetrahedral Meshing: Link


Other misc. projects

Approximating Differential Equations via Deep Neural Network: [Link]

Visual Proof Tree Latex Generator: Link


A reivew of Max Tegmark’s Ideas on a Theory of Everything: [pdf]

A review of contemporary interactive/automated theorem provers [pdf]

On the Coarea Formula [pdf]