layout | title | filename |
---|---|---|
page |
Other Projects |
otherprojects.md |
Nonisometric Flows on Planar Curves: Link
Parallel Fast Tetrahedral Meshing: Link
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]