World Wide Web Journal - Special issue on XML: principles, tools, and techniques
Knowledge Representation and Management in ACTIVEMATH
Annals of Mathematics and Artificial Intelligence
Tutorial Planning: Adapting Course Generation to Today's Needs
Proceedings of the 2005 conference on Artificial Intelligence in Education: Supporting Learning through Intelligent and Socially Informed Technology
Interactivity of Exercises in ActiveMath
Proceedings of the 2005 conference on Towards Sustainable and Scalable Educational Innovations Informed by the Learning Sciences: Sharing Good Practices of Research, Experimentation and Innovation
Authoring presentation for OpenMath
MKM'05 Proceedings of the 4th international conference on Mathematical Knowledge Management
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 New Paradigm for Intelligent Tutoring Systems: Example-Tracing Tutors
International Journal of Artificial Intelligence in Education
Hi-index | 0.00 |
Within the LeActiveMath project, a collection of OMDoc files and supporting material has been realized. This content covers the derivative side of calculus and is being used by students in the LeActiveMath learning environment. LeAM-calculus is the first collection trying to make use of most of the features of the learning environment including advanced usages of OpenMath and OMDoc. It has been written in OQMath, a readable xml-syntax. This paper describes the tools to produce it, how they were used and combined, the resulting content and the experience gained. It argues that the declaration of new OpenMath symbols is a requirement and explains challenges of authoring semantic mathematical content. Finally, it presents the management activities to support the authoring process.