OMDoc: an infrastructure for OpenMath content dictionary information
ACM SIGSAM Bulletin - Special issue of OpenMath
MBase: representing knowledge and context for the intergration of mathematical software systems
Journal of Symbolic Computation - Calculemus-99: integrating computation and deduction
Knowledge Representation and Management in ACTIVEMATH
Annals of Mathematics and Artificial Intelligence
Knowledge-Based Automation of Web-Based Learning Materials Using Semantic Web Technologies
C5 '04 Proceedings of the Second International Conference on Creating, Connecting and Collaborating through Computing
A Semantic Explanation and Symbolic Computation Approach for Designing Mathematical Courseware
C5 '05 Proceedings of the Third International Conference on Creating, Connecting and Collaborating through Computing
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 presents an efficient method to generate teacher's guidance and presentation materials for mathematical education, especially for solving simultaneous equations. Using XSL translations on presentation templates named the guidance plans and incorporating the output of a mathematical symbolic processor such as Maple, the presentation materials can be dynamically generated.