Experience Report Writing LeActiveMath CalculusPaul Libbrecht; Christian Gross
In: Jon Borwein; William Farmer (Hrsg.). Proceedings of Mathematical Knowledge Management 2006. International Conference on Mathematical Knowledge Management (MKM), LNAI, No. 4108, Springer Verlag, 8/2006.
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.