On Dynamically Presenting a Topology Course
Annals of Mathematics and Artificial Intelligence
Using Computer Algebra Systems as Cognitive Tools
ITS '02 Proceedings of the 6th International Conference on Intelligent Tutoring Systems
Using Edit Distance Algorithms to Compare Alternative Approaches to ITS Authoring
ITS '02 Proceedings of the 6th International Conference on Intelligent Tutoring Systems
Object-oriented Systems Analysis and Design Using UML
Object-oriented Systems Analysis and Design Using UML
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
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
Hi-index | 0.00 |
This paper reports some deficiencies of the current status of the markup for mathematical documents, OMDoc, and proposes extensions. The observations described arose from trying to represent mathematical knowledge with the goal to present it according to several well-established teaching strategies for mathematics through the learning environment ACTIVEMATH. The main concern here is with examples, exercises, and proofs.