1. A decidable theory treating addition of differentiable real functions;Buriola,2021
2. A decidable theory of differentiable functions with convexities and concavities on real intervals;Buriola,2020
3. Decision algorithms for some fragments of analysis and related areas;Cantone;Commun. Pure Appl. Math.,1987
4. Decision algorithms for fragments of real analysis. II. A theory of differentiable functions with strict convexity and concavity predicates;Cantone,2007
5. Decision algorithms for fragments of real analysis. I. Continuous functions with strict convexity and concavity predicates;Cantone;J. Symb. Comput.,2006