Decision algorithms for fragments of real analysis. II. A theory of differentiable functions with convexity and concavity predicates

Domenico Cantone, Gianluca Cincotti

We address the decision problem for a fragment of real analysis involving differentiable functions with continuous first derivatives. The proposed theory, besides the operators of…