An OpenMath 1.0 implementation
ISSAC '97 Proceedings of the 1997 international symposium on Symbolic and algebraic computation
Knowledge-based proof planning
Artificial Intelligence
OMDoc: an infrastructure for OpenMath content dictionary information
ACM SIGSAM Bulletin - Special issue of OpenMath
Image Compositing Based on Virtual Cameras
IEEE MultiMedia
Knowledge Representation and Management in ACTIVEMATH
Annals of Mathematics and Artificial Intelligence
On Dynamically Presenting a Topology Course
Annals of Mathematics and Artificial Intelligence
Problems and Solutions for Markup for Mathematical Examples and Exercises
MKM '03 Proceedings of the Second International Conference on Mathematical Knowledge Management
AISC '00 Revised Papers from the International Conference on Artificial Intelligence and Symbolic Computation
WME: towards a web for mathematics education
ISSAC '03 Proceedings of the 2003 international symposium on Symbolic and algebraic computation
The Semantic Web: A Guide to the Future of XML, Web Services, and Knowledge Management
The Semantic Web: A Guide to the Future of XML, Web Services, and Knowledge Management
Towards the Semantic Web: Ontology-driven Knowledge Management
Towards the Semantic Web: Ontology-driven Knowledge Management
Dictionary of Xml Technologies and the Semantic Web (Springer Professional Computing)
Dictionary of Xml Technologies and the Semantic Web (Springer Professional Computing)
Web-based Mathematics Education: MeML Design and Implementation
ITCC '04 Proceedings of the International Conference on Information Technology: Coding and Computing (ITCC'04) Volume 2 - Volume 2
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
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
Hi-index | 0.00 |
Reported is our approach for Web based mathematical courseware generation. To decrease development costs of the courseware, we have developed a system – e-Math Interaction Agent – that automatically generates learning materials using Semantic Web technologies, such as XML and XSLT. Knowledge databases containing math formulas and basic economic knowledge form the core mechanism of the system. Given the necessary mathematical problem definition data, the system can automate the target courseware by using these knowledge bases. The system differs from existing courseware automation systems in that it features (1) interactive dialogues with a virtual character that are pre-programmed into the XSL stylesheets, (2) a solution plan and calculations that are automated from a knowledge base of mathematical formulas and economic rules, and (3) mathematical software that generates mathematical expressions in MathML format and image files. My final goal is to formalize a teaching model for a wide range of mathematical problems that includes how to solve the problems and interactively and visually guide students.