Adapting Mathematical Domain Reasoners-Reference-Cited by-同舟云学术

Adapting Mathematical Domain Reasoners

Published:2010 Issue: Volume: Page:315-330
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Heeren Bastiaan,Jeuring Johan

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-14128-7_27

Reference19 articles.

1. Admiraal, C., et al.: Getal & Ruimte. EPN, Houten, The Netherlands (2009)

2. Aspinall, D., Denney, E., Lüth, C.: Tactics for hierarchical proof. Mathematics in Computer Science 3(3), 309–330 (2010)

3. Baader, F., Nipkow, T.: Term Rewriting and All That. Cambridge University Press, Cambridge (1997)

4. Beeson, M.J.: Design principles of MathPert: Software to support education in algebra and calculus. In: Kajler, N. (ed.) Computer-Human Interaction in Symbolic Computation, pp. 89–115. Springer, Heidelberg (1998)

5. Lecture Notes in Computer Science;R. Bradford,2009

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

1. Feedback services for stepwise exercises;Science of Computer Programming;2014-08

2. MathCoach: ein intelligenter programmierbarer Mathematik-Tutor und sein Einsatz in Mathematik-Brückenkursen;Konzepte und Studien zur Hochschuldidaktik und Lehrerbildung Mathematik;2013-10-24

3. Online Learning Based on Essential Concepts and Formative Assessment;Journal of Engineering Education;2012-04

4. Effects of Feedback in an Online Algebra Intervention;Technology, Knowledge and Learning;2012-04

5. A Programming Tutor for Haskell;Central European Functional Programming School;2012