Domenico Cantone Gianluca Cincotti Giovanni Gallo Decision algorithms for fragments of real analysis. I. Continuous functions with strict convexity and concavity predicates. 763-789 2006 41 J. Symb. Comput. 7 http://dx.doi.org/10.1016/j.jsc.2006.02.003 db/journals/jsc/jsc41.html#CantoneCG06