Unpublished

  1. Carl Kwan. “Some ACL2(r) Matrix Norms”. In Preparation.
  2. Carl Kwan and Mark R. Greenstreet. “Real Metric Spaces in a First-order Logic”. Submitted.

Refereed Publications

  1. Carl Kwan, Yan Peng, and Mark R. Greenstreet. May 2020. “Cauchy-Schwarz in ACL2(r) Abstract Vector Spaces”. In: Electronic Proceedings in Theoretical Computer Science 327, pp. 90–92. doi: 10.4204/EPTCS.327.8.

  2. Carl Kwan and Mark R. Greenstreet. Oct. 2018. “Convex Functions in ACL2(r)”. In: Electronic Proceedings in Theoretical Computer Science 280, pp. 128–142. doi: 10.4204/eptcs.280.10.

  3. Carl Kwan and Mark R. Greenstreet. Oct. 2018. “Real Vector Spaces and the Cauchy-Schwarz Inequality in ACL2(r)”. In: Electronic Proceedings in Theoretical Computer Science 280, pp. 111–127. doi: 10.4204/eptcs.280.9.

Technical Reports

  1. Carl Kwan. Apr. 23, 2018. Choosing Metrics for Translating Embeddings in Recommender Systems. url: http://cs.utexas.edu/~carlkwan/papers/choosing-metrics-transe.pdf.

  2. Carl Kwan. Apr. 20, 2018. Galois Theory and Questions of Feasibility in Graph Drawing. url: http://cs.utexas.edu/~carlkwan/papers/galois-graph-drawing.pdf.