BIROn - Birkbeck Institutional Research Online

    WIRIS OM tools: a semantic formula editor

    Marques, D. and Eixarch, R. and Casanellas, G. and Martinez, B. and Smith, Tim J. (2006) WIRIS OM tools: a semantic formula editor. In: Mathematical User-Interfaces Workshop 2006, 10 Aug 2006, Workingham, UK.

    [img]
    Preview
    Text
    9963.pdf - Published Version of Record

    Download (309kB) | Preview

    Abstract

    With the increasing reliance on computers for the automatic processing of information a new method is needed for editing mathematical formulae. We are used to WYSIWYG editors that produce beautiful presentations of formulae and store the typesetting primitives rather than the meaning of the formulas. However, new services such as database searching or calculation web-services work best if they have access to the semantic information behind a formula. This can only be done with a new generation of formula editors. In this paper we present WIRIS OM Tools [17], a semantic oriented formula editor which addresses these concerns. It is based on the OpenMath language and a suitable transformation process between OpenMath and MathML ex- pressions. Additionally, this approach adds new features for the users such as error, type and syntax checking. The editor is currently being used in the LeActiveMath and WebALT projects.

    Metadata

    Item Type: Conference or Workshop Item (Paper)
    Additional Information: At the Fifth Mathematical Knowledge Management Conference
    School: Birkbeck Schools and Departments > School of Science > Psychological Sciences
    Research Centre: Moving Image, Birkbeck Institute for the (BIMI), Brain and Cognitive Development, Centre for (CBCD)
    Depositing User: Administrator
    Date Deposited: 16 Jun 2014 13:32
    Last Modified: 26 Jul 2019 19:00
    URI: http://eprints.bbk.ac.uk/id/eprint/9963

    Statistics

    Downloads
    Activity Overview
    211Downloads
    296Hits

    Additional statistics are available via IRStats2.

    Archive Staff Only (login required)

    Edit/View Item Edit/View Item