2 papers
cs.LO2025
Decision algorithms for fragments of real analysis. III: A theory of differentiable functions with (semi-)open intervals
G. Buriola, D. Cantone, G. Cincotti +2
This paper enriches preexisting satisfiability tests for unquantified languages, which in turn augment a fragment of Tarski's elementary algebra with unary real functions possessin…
cs.LO2024
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…