A Decidable Theory of Differentiable Functions with Convexities and Concavities on Real Intervals

Download PDF

Gabriele Buriola, Domenico Cantone, Gianluca Cincotti, Eugenio G. Omodeo, Gaetano T. Spartà

Published: 01 Jan 2020, Last Modified: 03 Jul 2025CILC 2020EveryoneRevisionsBibTeXCC BY-SA 4.0