Accueil › e-Proceedings for JEM Workshops 1 and 2 › OpenMath Joint with JEM Workshop 2 › Publications › Dissemination

Presenting Mathematical Content With Flexible Elisions

  • user warning: Table './jem/sessions' is marked as crashed and should be repaired query: SELECT COUNT(sid) AS count FROM sessions WHERE timestamp >= 1231483874 AND uid = 0 in /var/www/net.jem-thematic/site/includes/database.mysql.inc on line 174.
  • user warning: Table './jem/sessions' is marked as crashed and should be repaired query: SELECT DISTINCT u.uid, u.name, s.timestamp FROM users u INNER JOIN sessions s ON u.uid = s.uid WHERE s.timestamp >= 1231483874 AND s.uid > 0 ORDER BY s.timestamp DESC in /var/www/net.jem-thematic/site/includes/database.mysql.inc on line 174.

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
Nature: 
Conference paper
Date: 
2007/06/25
URL: 
Paper on omdoc.org
Partner_node: 
Jacobs University
‹ Poster: The OpenMath-based protocol for symbolic software composabilityhautPoster ›