Problems and solutions for markup for mathematical examples and exercises

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

Volumn 2594, Issue , 2003, Pages 80-92

  Goguadze, Georgi ^a   Melis, Erica ^a   Ullrich, Carsten ^a   Cairns, Paul ^b  

^a GERMAN RESEARCH CENTER FOR ARTIFICIAL INTELLIGENCE DFKI   (Germany)

^b UNIVERSITY COLLEGE LONDON   (United Kingdom)

Author keywords

Knowledge representation; Markup for mathematics documents

Indexed keywords

COMPUTER AIDED INSTRUCTION;

CURRENT STATUS; LEARNING ENVIRONMENTS; MARKUP FOR MATHEMATICS DOCUMENTS; MATHEMATICAL KNOWLEDGE; PROBLEMS AND SOLUTIONS; TEACHING STRATEGY;

KNOWLEDGE REPRESENTATION;

EID: 35248828711     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36469-2_7     Document Type: Article

References (19)

1. S. Ainsworth, D. Clarke, and R. Gaizaukas. Using edit distances algorithms to compare alternative approaches to ITS authoring. In S.A. Cerri, G. Gouarderes, and F. Paraguacu, editors, Intelligent Tutoring Systems, 6th International Conference, ITS2002, volume 2363 of LNCS, pages 873-882. Springer-Verlag, 2002.
2. S. Bennett, S. McRobb, R. Farmer, Object-Oriented Systems Analysis and Design using UML, McGraw Hill, 1999
3. K. G. Binmore, Mathematical Analysis: a straightforward approach, second edition, Cambridge University Press, 1982
4. B. Bollobás, Linear Analysis: an introductory course, Cambridge University Press, 1990
5. J. Büdenbender, E. Andres, Adrian Frischauf, G. Goguadze, P. Libbrecht, E. Melis, and C. Ullrich. Using computer algebra systems as cognitive tools. In S.A. Cerri, G. Gouarderes, and F. Paraguacu, editors, 6th International Conference on Intelligent Tutor Systems (ITS-2002), 2363 Lecture Notes in Computer Science, pages 802-810. Springer-Verlag, 2002.
6. O. Caprotti and A. M. Cohen. Draft of the open math standard, Open Math Consortium, http://www.nag.co.uk/projects/OpenMath/omstd/, 1998.
7. P. Cairns, J. Gow, On Dynamically Presenting A Topology Course, Submitted to Annals of Mathematics and Artificial Intelligence (Special issue on Mathematical Knowledge Management) http://www.uclic.ucl.ac.uk/topology/
8. D. Carlisle, P. Ion, R. Miner, and N. Poppelier. Mathematical markup language, version 2.0, 2001. http://www.w3.org/TR/MathML2/.
9. A. Cohen, H. Cuypers, and H. Sterk. Algebra Interactive! Springer-Verlag, 1999.
10. B.I. Dahn and H. Wolter. Analysis Individuell, Springer-Verlag, 2000.
11. J. Harrison, Formalized Mathematics, Math. Universalis, 2, 1996
12. I. N. Herstein, Topics in Algebra, second edition, Wiley, 1975
13. M. Kohlhase, OMDoc: Towards an OpenMath Representation of Mathematical Documents, Seki Report,FR Informatik, Universität des Saarlandes, 2000.
14. L. Lamport, How to write a proof, American Mathematical Monthly, 102(7) p600-608, 1994
15. E. Melis, U. Leron A Proof Presentation Suitable for Teaching Proofs, 9th International Conference on Artificial Intelligence in Education, pages 483-490, 1999.
16. E. Melis, J. Büdenbender, E. Andres, Adrian Frischauf, G. Goguadze, P. Libbrecht, M. Pollet, and C. Ullrich. Activemath: A generic and adaptive web-based learning environment, Artificial Intelligence and Education, 12(4), 2001.
17. A. O. Morris, Linear Algebra: an introduction, second edition, van Nostrand Reinhold, 1982
18. A. Schwarz, M. Voss, Universität des Saarlandes, Multimedia im Mathematik-Unterricht, Copyright ATMedia GmbH, 1998,1999
19. S. Willard, General Topology, Addison Wesley, 1970