Presenting Mathematical Content With Flexible Elisions

Mathematicians frequently elide brackets or symbols in formulae to concentrate on essential facts and to avoid distract experienced mathematicians with notation that can easily be deduced from context. In this paper we propose a extension of the notation specification infrastructure in OMDoc by functionality for flexible elisions.

Publication_details:

8th OpenMath Joint with JEM Workshop, Linz Austria

Author(s):

Michael Kohlhase, Christoph Lange, Florian Rabe

Tyyppi:

Conference paper

Päivämäärä:

2007/06/25

URL:

Paper on omdoc.org

Partner_node:

Jacobs University

luettu %count kertaa

Related content

European Commission

This web site is part of the JEM Thematic Network. Work is co-funded by the European Commission.
The content of this website is the sole responsibility of the thematic network members. It does not represent the opinion of the European Community and the Community is not responsible for any use that might be made of information contained herein. The last author of the page is solely responsible for its content. Unless otherwise stated, the content of the page is licensed under a Creative Commons Attribution-Share Alike 2.5 License.

Visits/hits in the last hour: 101 Visits | 1301 Hits