Documents with flexible Notation Contexts as Interfaces to Mathematical Knowledge

  • user warning: Table './jem/sessions' is marked as crashed and should be repaired query: SELECT COUNT(sid) AS count FROM sessions WHERE timestamp >= 1231483342 AND uid = 0 in /var/www/net.jem-thematic/site/includes/database.mysql.inc on line 174.
  • user warning: Table './jem/sessions' is marked as crashed and should be repaired query: SELECT DISTINCT u.uid, u.name, s.timestamp FROM users u INNER JOIN sessions s ON u.uid = s.uid WHERE s.timestamp >= 1231483342 AND s.uid > 0 ORDER BY s.timestamp DESC in /var/www/net.jem-thematic/site/includes/database.mysql.inc on line 174.

Abstract: In this paper we explore the use of documents as interfaces to mathematical knowledge. We propose an augmented document model that facilitates the explication of a document's notation context, i.e. the selection of appropriate presentations for all symbols in the document. By separating the notation context from the structure and content of a document, we aim at identifying the author's selection of notation, i.e. his notation practices. This further facilitates the identification of communities of practice (COP) that share specific notation preferences and, in particular, to adapt documents to the notation preferences of COPs, e.g.
groups of readers and co-authors. Furthermore, explicating a document's notation context allows for referencing and, particularly, reusing contexts, which reduces the author's workload during the authoring process.

Author(s): 
Michael Kohlhase, Christine Müller, Normen Müller
Publication_details: 
MathUI workshop talk
Nature: 
Slide presentation
Date: 
2007/06/27
Partner_node: 
Jacobs University
Fichier attachéTaille
mathUI07.pdf315.21 Ko