Carl Kwan

Publication Activity (10 Years)

Years Active: 2018-2022
Publications (10 Years): 3

Top Topics

Convex Functions

Typical Testors

Top Venues

Publications

Carl Kwan
Towards Formalized Matrix Analysis and Algorithms. ISAIM (2022)
Carl Kwan, Mark R. Greenstreet
Real Vector Spaces and the Cauchy-Schwarz Inequality in ACL2(r). ACL2 (2018)
Carl Kwan, Mark R. Greenstreet
Convex Functions in ACL2(r). ACL2 (2018)