Knowledge representation and management in ACTIVEMATH

Annals of Mathematics and Artificial Intelligence

Volumn 38, Issue 1-3, 2003, Pages 47-64

  Melis, Erica ^a   Büdenbender, Jochen ^a   Goguadze, George ^a   Libbrecht, Paul ^a   Ullrich, Carsten ^a  

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

Author keywords

Adaptive learning environment; Adaptivity; Interactivity; Metadata; Representation of mathematical knowledge; Semantics; Web publishing of mathematics; Web based

Indexed keywords

EID: 0345864044     PISSN: 10122443     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1022959613174     Document Type: Conference Paper

References (14)

1. A. Asperti, L. Padovani, C. Coen and I. Schena, HELM and the semantic Web, in: Proceedings of the 14th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2001), eds. R.J. Boulton and P.B. Jackson, Lecture Notes in Computer Science, Vol. 2152 (2001) pp. 59-74. See also http://www.cs.UniBo.it/helm/.
2. D. Carlisle, P. Ion, R. Miner and N. Poppelier, Mathematical markup language, version 2.0 (2001), http://www.w3.org/TR/MathML2/.
3. B. Char, G. Fee, K. Geddes, G. Gonnet and M. Monagan, A tutorial introduction to MAPLE, Journal of Symbolic Computation 2(2) (1986) 179-200.
4. J. Clark, XSL transformation, World Wide Web Consortium (1999), http://www.w3.org/Style/XSL/.
5. H. Cuypers and H. Sterk, MathBook, Web-technology for mathematical documents, in: Proceedings of the BITE 2001 Conference (2001). See also http://www.riaca.win.tue.nl/.
6. I. Dahn, Slicing book technology providing online support for textbooks, in: Proceedings of the ICDE 2001, International Conference on Distant Education (2001).
7. A. González Palomo, QMath: An Authoring Tool for OMDoc (2002). See also http://www.matracas. org/and section 4.2 of OMDoc 1.1 specification (from http://www.mathweb.org/omdoc/).
8. IEEE Learning Technology Standards Committee, Learning objects metadata (1999). Available from http://www.edna.edu.au/edna/aboutedna/metadata/analysis/LOM.htm, see also http://ltsc.ieee.org/.
9. M. Kohlhase, OMDoc: Towards an Internet standard for mathematical knowledge, in: Proceedings of Artificial Intelligence and Symbolic Computation, AISC'2000, ed. E.R. Lozano (2001). See also http://www.mathweb.org/omdoc.
10. E. Melis and J. Siekmann, Knowledge-based proof planning, Artificial Intelligence 115(1) (1999) 65-105.
11. R. Miner and P. Topping, Math on the Web, a status report: Focus authoring, Technical report, Design Science Inc. (2002). Available at http://www.dessci.com/webmath/status/status_Jan_02.stm.
12. M. Schönert, GAP - Groups, algorithms, and programming, Lehrstuhl D für Mathematik, RWTH Aachen, Germany (1995).
13. A. Sorgatz and R. Hillebrand, MuPAD - Ein Computeralgebra System I, Linux Magazin 12 (1995).
14. D. Winer, XML-RPC specification (1999), http://www.xmlrpc.org/spec.