Publikation

Experience Report Writing LeActiveMath Calculus

Paul Libbrecht, Christian Gross

In: Jon Borwein , William Farmer (Hrsg.). Proceedings of Mathematical Knowledge Management 2006. International Conference on Mathematical Knowledge Management (MKM) LNAI 4108 Springer Verlag 8/2006.

Abstrakt

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.

Projekte

Weitere Links

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence