Carl Kwan | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Mark R. Greenstreet
3 publications

research

∙ 10/10/2018

Convex Functions in ACL2(r)

This paper builds upon our prior formalisation of R^n in ACL2(r) by pres...

0 Carl Kwan, et al. ∙

research

∙ 10/10/2018

Real Vector Spaces and the Cauchy-Schwarz Inequality in ACL2(r)

We present a mechanical proof of the Cauchy-Schwarz inequality in ACL2(r...

0 Carl Kwan, et al. ∙