A Decidable Theory of Differentiable Functions with Convexities and Concavities on Real Intervals.
Gabriele Buriola, Domenico Aldo Cantone, Gianluca Cincotti, Eugenio Giovanni Omodeo, Gaetano T. Spartà · ArTS Archivio della ricerca di Trieste (University of Trieste https://www.units.it/) · 2020
We enrich a pre-existing decision algorithm, which in its turn augmented a fragment of Tarski’s elementary algebra with one-argument functions enjoying significant properties such as continuity and differentiability. We also pave the way to further enrichments, embodying symbols to designate certain operations on functions such as pointwise addition.