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…