Authoring of Semantic Mathematical Content for Learning on the Web
Abstract:
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.
Published:
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