Showing 1 - 2 results of 2 for search 'Carl Kwan', query time: 0.02s Refine Results
  1. 1
    Real Vector Spaces and the Cauchy-Schwarz Inequality in ACL2(r)

    Real Vector Spaces and the Cauchy-Schwarz Inequality in ACL2(r) by Carl Kwan, Mark R. Greenstreet

    Published 2018-10-01
    Get full text
    Article
  2. 2
    Convex Functions in ACL2(r)

    Convex Functions in ACL2(r) by Carl Kwan, Mark R. Greenstreet

    Published 2018-10-01
    Get full text
    Article

Search Tools: