Mark R. Greenstreet | DeepAI

DeepAI

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

Featured Co-authors

Yan Peng
8 publications
Carl Kwan
2 publications

research

∙ 10/10/2018

Smtlink 2.0

Smtlink is an extension of ACL2 with Satisfiability Modulo Theories (SMT...

0 Yan Peng, et al. ∙

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. ∙