Specifying Rewrite Strategies for Interactive Exercises-Reference-Cited by-同舟云学术

Specifying Rewrite Strategies for Interactive Exercises

Published:2010-03-10 Issue:3 Volume:3 Page:349-370
ISSN:1661-8270
Container-title:Mathematics in Computer Science
language:en
Short-container-title:Math.Comput.Sci.

Author:

Heeren Bastiaan,Jeuring Johan,Gerdes Alex

Publisher

Springer Science and Business Media LLC

Subject

Applied Mathematics,Computational Theory and Mathematics,Computational Mathematics

Link

http://link.springer.com/content/pdf/10.1007/s11786-010-0027-4.pdf

Reference44 articles.

1. Anderson, J.R.: Rules of the Mind. Lawrence Erlbaum Associates, Hillsdale (1993)

2. Anderson J.R., Corbett A.T., Koedinger K.R., Pelletier R.: Cognitive tutors: lessons learned. J. Learn. Sci. 4(2), 167–207 (1995)

3. Anderson J.R., Skwarecki E.: The automated tutoring of introductory computer programming. Commun. ACM 29(9), 842–849 (1986)

4. Beeson M.J.: Design principles of Mathpert: software to support education in algebra and calculus. In: Kajler, N. (eds) Computer-Human Interaction in Symbolic Computation., pp. 89–115. Springer, New York (1998)

5. Boon, P., Drijvers, P.: Algebra en applets, leren en onderwijzen (algebra and applets, learning and teaching, in Dutch). http://www.fi.uu.nl/publicaties/literatuur/6571.pdf (2005)

Cited by 21 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Generation and Use of Hints and Feedback in a Hilbert-Style Axiomatic Proof Tutor;International Journal of Artificial Intelligence in Education;2020-11-06

2. End-user feedback in multi-user workflow systems;IFL 2020: Proceedings of the 32nd Symposium on Implementation and Application of Functional Languages;2020-09-02

3. Saint: An API-Generic Type-Safe Interpreter;Lecture Notes in Computer Science;2019

4. Building a Generic Feedback System for Rule-Based Problems;Lecture Notes in Computer Science;2019

5. Reasoning by Equivalence: The Potential Contribution of an Automatic Proof Checker;Proof Technology in Mathematics Research and Teaching;2019