Author:
Sofronie-Stokkermans Viorica
Publisher
Springer Berlin Heidelberg
Reference9 articles.
1. Cantone, D., Cincotti, G., Gallo, G.: Decision algorithms for fragments of real analysis. I. Continuous functions with strict convexity and concavity predicates. Journal of Symbolic Computation 41, 763–789 (2006)
2. Dolzmann, A., Sturm, T.: Redlog: Computer algebra meets computer logic. ACM SIGSAM Bulletin 31(2), 2–9 (1997)
3. Friedman, H., Serres, A.: Decidability in elementary analysis, I. Adv. in Mathematics 76(1), 94–115 (1989)
4. Friedman, H., Serres, A.: Decidability in elementary analysis, II. Adv. in Mathematics 70(2), 1–17 (1990)
5. Lecture Notes in Computer Science;C. Ihlemann,2008
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献