Gianluca Cincotti

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

2024 · arXiv (Cornell University)

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 Tarski's theory of reals, includes predicates for comparisons, monotonicity, convexity, …