Convex Functions in ACL2(r)

Open in new window