Author:
Tomás Ana Paula,Leal José Paulo
Publisher
Springer Berlin Heidelberg
Reference27 articles.
1. Beeson, M.: Design Principles of Mathpert: Software to Support Education in Algebra and Calculus. In: Kajler, N. (ed.) Computer-Human Interaction in Symbolic Computation, Texts and Monographs in Symbolic Computation, pp. 89–115. Springer, Heidelberg (1998)
2. LNAI;R. Bradford,2009
3. Cervone, D.: MathJax – A Platform for Mathematics on the Web. Notices of the AMS 59, 312–316 (2012)
4. Faltings, B., Macho-Gonzalez, S.: Open Constraint Programming. Artificial Intelligence 161, 181–208 (2005)
5. Goguadze, G.: ActiveMath – Generation and Reuse of Interactive Exercises using Domain Reasoners and Automated Tutorial Strategies. PhD thesis, Saarland University (2011)
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. An Enhanced Intelligent Teaching Support System for College Courses;2021 IEEE International Conference on Engineering, Technology & Education (TALE);2021-12-05
2. On the Problem of Generating a Large Number of Comparable Test Variants;Journal on Efficiency and Responsibility in Education and Science;2018-12-31