Vol-2709⫷ Vol-2710 ⫸Vol-2711
urn:nbn:de:0074-2710-0


Vol-2710/paper14⫷Vol-2710/paper15⫸Vol-2710/paper16
Gabriele BuriolaDomenico CantoneGianluca CincottiEugenio G. OmodeoGaetano T. Spartà

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