• Documents
  • Authors
  • Tables
  • Other Seers ▼
    RefSeer AckSeer CollabSeer SeerSeer
  • Log in
  • Sign up
  • MetaCart

CiteSeerX logo

Advanced Search Include Citations
Advanced Search Include Citations | Disambiguate

Towards an Ontology-Driven Management of Change. Exposé of PhD research proposal (2007)

by Normen Müller
Add To MetaCart

Tools

Sorted by:
Results 1 - 1 of 1

Documents with flexible notation contexts as interfaces to mathematical knowledge

by Michael Kohlhase, Christine Müller, Normen Müller - Mathematical User Interfaces Workshop , 2007
"... 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 ..."
Abstract - Cited by 3 (2 self) - Add to MetaCart
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 facilitates both, the identification of communities of practice (COP) that share specific notation preferences and, conversely, the adaptation of documents to the notation preferences of identified 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. 1
The National Science Foundation
  • About CiteSeerX
  • Submit Documents
  • Privacy Policy
  • Help
  • Data
  • Source
  • Contact Us

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2010 The Pennsylvania State University