Web Interfaces for Proof Assistants
Electronic Notes in Theoretical Computer Science (ENTCS)
Specification, authoring and prototyping of personalised workplace learning solutions
International Journal of Learning Technology
A Model of Re-use of E-Learning Content
EC-TEL '08 Proceedings of the 3rd European conference on Technology Enhanced Learning: Times of Convergence: Technologies Across Learning Contexts
A Review of Mathematical Knowledge Management
Calculemus '09/MKM '09 Proceedings of the 16th Symposium, 8th International Conference. Held as Part of CICM '09 on Intelligent Computer Mathematics
Extracting learning concepts from educational texts in intelligent tutoring systems automatically
Expert Systems with Applications: An International Journal
Challenges in search and usage of multi-media learning objects
Proceedings of the 2005 joint Chinese-German conference on Cognitive systems
Pedagogically founded courseware generation for web-based learning: an HTN-planning-based approach implemented in PAIGOS
Authoring leactivemath calculus content
MKM'06 Proceedings of the 5th international conference on Mathematical Knowledge Management
Integrating learning object repositories using a mediator architecture
EC-TEL'06 Proceedings of the First European conference on Technology Enhanced Learning: innovative Approaches for Learning and Knowledge Sharing
Methods to access and retrieve mathematical content in ACTIVEMATH
ICMS'06 Proceedings of the Second international conference on Mathematical Software
Management of geometric knowledge in textbooks
Data & Knowledge Engineering
Automatic generation of web-based mathematical courseware for solving simultaneous equations
HSI'05 Proceedings of the 3rd international conference on Human Society@Internet: web and Communication Technologies and Internet-Related Social Issues
Design of automation systems for web based courseware using XML and XSLT
DNIS'05 Proceedings of the 4th international conference on Databases in Networked Information Systems
A search engine for mathematical formulae
AISC'06 Proceedings of the 8th international conference on Artificial Intelligence and Symbolic Computation
Combining ITS and elearning technologies: opportunities and challenges
ITS'06 Proceedings of the 8th international conference on Intelligent Tutoring Systems
User behaviour-driven group formation through case-based reasoning and clustering
Expert Systems with Applications: An International Journal
Hi-index | 0.00 |
ACTIVEMATH is an open web-based learning environment for mathematics. It dynamically generates interactive mathematical courses adapted to the student's goals, preferences, capabilities, and knowledge. The content authored for ACTIVEMATH is represented in an extended OMDoc which in turn is an extension of the OpenMath XML-language. ACTIVEMATH is the first system that uses OMDoc. It makes use of this knowledge representation in several knowledge management tasks, among them the web-presentation of mathematical text including formulæ, the communication with the integrated mathematical systems, the user-adaptive composition of a course, the dynamic generation of learning suggestions, and the dictionary facility. This article describes the knowledge representation and management in ACTIVEMATH and emphasizes its bias toward mathematics.