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.

Author(s):

Michael Kohlhase, Christoph Lange, Florian Rabe

Publication_details:

8th OpenMath Joint with JEM Workshop, Linz Austria

Type:

Conference paper

Datum:

2007/06/25

URL-adres:

Paper on omdoc.org

Partner_node:

Jacobs University

Printervriendelijke versie
4472 keer gelezen

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: 98 Visits | 1454 Hits