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