Authoring of Semantic Mathematical Content for Learning on the Web


This thesis explores how a mathematician can create content which lets students learn via ActiveMath. This software runs on the web, and employs semantics mathematical technologies and artificial intelligence to support the student. The thesis describes not only a tool to edit content but also studies the workflows of authors when creating content. An important authoring paradigm introduced here is called WYCIWYG – What You Check is What You Get. This places the target learning environment as the central concern. Indeed, the learning environment, which is the assembly of content and software, represents the final product of the authoring work. This thesis exploits and develops classical paradigms: copy-and-paste, search, and collaborative authoring. To support the authoring workflows, several software pieces have been implemented and tested: within an editing tool and the ActiveMath software. The following work describes their usages, their technical facets, and case studies of how current authors have used them in their day-to-day activities.


Dissertation Thesis of the University of Saarland, Faculty of Informatics and Mathematics, defended on July 30th 2012 at the Universität des Saarlandes under the evaluation of the committee appointed by the dean Prof. Mark Groves: Prof. Jörg Siekmann, Prof. James Davenport, Prof. Gerhard Weikum and in presence of Prof. Anselm Lambert (chairman) and Dr. George Goguadze (secretary), 2012-07-30

[PDF of the thesis]diss-PaulLibbrecht-AuthoringSemanticMathLearnWeb.pdf
[Keynote of the presentation]diss-presentation-PaulLibbrecht-AuthoringSemanticMathLearnWeb.key
[PDF of the presentation]diss-presentation-PaulLibbrecht-AuthoringSemanticMathLearnWeb.pdf