1 research outputs found

    Towards Improving Interactive Mathematical Authoring by Ontology-driven Management of Change

    No full text
    The interactive use of mathematical assistance systems requires an intensive training in their input and command language. With the integration into scientific WYSIWYG text-editors the author can directly use the natural language and formula notation she is used to. In the new documentcentric paradigm changes to the document are transformed by a mediator into commands for the mathematical assistance system. This paper describes how ontology-driven management of change can improve the process of interactive mathematical authoring.
    corecore