Experience Report Writing LeActiveMath Calculus
Abstract:
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.
Published:
Proceedings of the 5th Conference on Mathematical Knowledge Management, LNCS 4108, Springer Verlag, 2006