Adapting mathematical domain reasoners

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 6167 LNAI, Issue , 2010, Pages 315-330

  Heeren, Bastiaan ^a   Jeuring, Johan ^a,b  

^a OPEN UNIVERSITY OF THE NETHERLANDS   (Netherlands)

^b UTRECHT UNIVERSITY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

FEEDBACK TO STUDENTS; LAYERED STRUCTURES; LEARNING ENVIRONMENTS; MATHEMATICAL KNOWLEDGE; MATURE ENVIRONMENTS; REASONER; REWRITE RULES; REWRITE STRATEGIES;

STUDENTS;

EID: 77954873572     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-14128-7_27     Document Type: Conference Paper

References (19)

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. Bradford, R., Davenport, J.H., Sangwin, C.J.: A comparison of equality in computer algebra and correctness in mathematical pedagogy. In: Carette, J., Dixon, L., Coen, C.S., Watt, S.M. (eds.) Calculemus 2009, MKM 2009. LNCS, vol.5625, pp. 75-89. Springer, Heidelberg (2009)
6. Bundy, A.: The use of explicit plans to guide inductive proofs. In: CADE, pp. 111-120 (1988)
7. Cheikhrouhou, L., Sorge, V.: PDS-a three-dimensional data structure for proof plans. In: ACIDCA (2000)
8. Cohen, A., Cuypers, H., Reinaldo Barreiro, E., Sterk, H.: Interactive mathematical documents on the web. In: Algebra, Geometry and Software Systems, pp. 289-306. Springer, Heidelberg (2003)
9. Doorman, M., Drijvers, P., Boon, P., van Gisbergen, S., Gravemeijer, K.: Design and implementation of a computer supported learning environment for mathematics. In: Earli 2009 SIG20 Invited Symposium Issues in Designing and Implementing Computer Supported Inquiry Learning Environments (2009)
10. Gerdes, A., Heeren,B., Jeuring, J., Stuurman, S.: Feedback services for exercise assistants. In: Remenyi, D. (ed.) ECEL, pp. 402-410. Acad. Publ. Ltd., New York (2008)
11. Goguadze, G.: Representation for interactive exercises. In: Carette, J., Dixon, L., Coen, C.S., Watt, S.M. (eds.) Calculemus 2009, MKM 2009. LNCS, vol.5625, pp. 294-309. Springer, Heidelberg (2009)
12. Heeren, B., Jeuring, J.: Canonical forms in interactive exercise assistants. In: Carette, J., Dixon, L., Coen, C.S., Watt, S.M. (eds.) Calculemus 2009, MKM 2009. LNCS, vol.5625, pp. 325-340. Springer, Heidelberg (2009)
13. Heeren, B., Jeuring, J., Gerdes, A.: Specifying rewrite strategies for interactive exercises. Mathematics in Computer Science 3(3), 349-370 (2010)
14. Melis, E., Siekmann, J.: Activemath: An intelligent tutoring system for mathematics. In: Rutkowski, L., Siekmann, J.H., Tadeusiewicz, R., Zadeh, L.A. (eds.) ICAISC 2004. LNCS (LNAI), vol.3070, pp. 91-101. Springer, Heidelberg (2004)
15. van Noort, T., Rodriguez Yakushev, A., Holdermans, S., Jeuring, J., Heeren, B., Magalhães, J.P.: A lightweight approach to datatype-generic rewriting. Journal of Functional Programming (to appear 2010)
16. Pahl, C.: Managing evolution and change in web-based teaching and learning environments. Computers & Education 40(2), 99-114 (2003)
17. Paterson, R.: Arrows and computation. In: Gibbons, J., de Moor, O. (eds.) The Fun of Programming, pp. 201-222. Palgrave, Oxford (2003)
18. The OpenMath Society. The OpenMath Standard (2006), http://www.openmath. org/standard/index.html
19. Ullrich, C., Lu, T., Melis, E.: A new framework for dynamic adaptations and actions. In: Cress, U., Dimitrova, V., Specht, M. (eds.) EC-TEL 2009. LNCS, vol.5794, pp. 67-72. Springer, Heidelberg (2009)