Papers

Page in progress. Links coming soon.

Refereed Publications:
1. TBA
2. Convex Functions in ACL2(r). Carl Kwan, Mark R. Greenstreet (ACL2 2018).
3. Real Vector Spaces and the Cauchy-Schwarz Inequality in ACL2(r). Carl Kwan, Mark R. Greenstreet (ACL2 2018).

Theses:
1. -
2. -

Talks:
1. Multidisciplinary Undergraduate Research Conference, Vancouver, Canada, March 2017

Expository Papers:
1. Galois Theory and Graph Drawing
2. Topology and Embedding Multi-relational Data