Poster Session and Reception

Monday, April 26, 2004 - 5:00pm - 6:00pm
Lind 400
  • A Mathematical Knowledge Base Using Coherent Notation
    Matthias Graefenhan (Philipps-Universität Marburg)
    We present an XML based system of mathematical documents currently being developed at the University of Marburg, Germany, which aims at a comprehensive and systematic description of all aspects of pure mathematics. The system consists of numerous documents each devoted to one mathematical topic, which are organized in a highly coherent way. This is achieved through the following features:

    1. uniform symbolic notation for all mathematical and logical objects, based on specially created symbols

    2. treelike arrangement of the single documents (considered as atomic elements) in order to find each document via a unique path; freely d efinable further arrangements, e.g. cross references or collections of documents for classroom use

    3. elaborate network of interconnections between the atomic elements

    The structure of the notation mentioned above enables us to perform searching without the need for extra metadata.