A Functional Reformulation of MathML 2 Content Markup

  • user warning: Table './jem/sessions' is marked as crashed and should be repaired query: SELECT COUNT(sid) AS count FROM sessions WHERE timestamp >= 1231482209 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 >= 1231482209 AND s.uid > 0 ORDER BY s.timestamp DESC in /var/www/net.jem-thematic/site/includes/database.mysql.inc on line 174.

The existing MathML 3 working draft proposes major changes to the content MathML markup elements. The proposed changes address a significant omission in the representation and communication of mathematical information. However, the current form for the proposed changes appears to abandon the needs of a significant community of mathematical users and applications, that is, those users for whom structural (content) information is paramount, but who have no requirement for the semantic (deductive) information that has historically been the domain of the OpenMath standards.

This paper proposes an alternate reformulation of the MathML~2 content markup elements. The purpose for this reformulation is to refocus the design of the content elements on the functional expression tree structure of a mathematical expression. Along the way, this paper identifies several opportunities to increase the extensibility of the content MathML markup elements to vocabularies of custom content operators, and to increase the level of interoperability of content MathML with OpenMath semantic markup.

Author(s): 
Sam Dooley
Publication_details: 
8th OpenMath Joint with JEM Workshop, Linz Austria
Nature: 
Slide presentation
Date: 
2007/06/25
Fichier attachéTaille
SamDooley_MathML.ppt71.5 Ko