Accueil › Community › Blogs › Le blog de mark

Demo of the MathDox formula editor

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

In about an hour and a half I will present at the MathUI workshop a prototype of a semantic formula editor that can be used in a browser. More information about the editor can be found here and at the MathUI website.

Technorati Tags:Technorati Tags:

Trackback URL for this post:

http://www.jem-thematic.net/fr/trackback/178

Testing the inline

Soumis par Caprotti, Olga le mer, 2007/07/11 - 15:58.

Testing the inline javascript editor by including the lines:

<script type='text/javascript' src='/files_private/formulaeditor/org/mathdox/formulaeditor/main.js'>
</script>

in a html fragment. Here is the editable formula:

Check the OpenMath representation of the formula. This demonstrates that a semantic tree of the formula is stored, and not just a presentation tree.

Currently this editor has only been tested in Mozilla Firefox.

»

Mark, how come there is not

Soumis par Caprotti, Olga le mar, 2007/07/10 - 12:20.

Mark,

how come there is not Software for the nice MathDox Formula Editor? Also, is it MathDox or MathBook? I revised the MathDox page but when looked at your website, no mention of mathdox.

»

You are right, it should be

Soumis par Spanbroek, Mark le mer, 2007/07/11 - 16:38.

You are right, it should be in the software section. I added it. http://jem-thematic.net/node/331

It is MathDox now, the MathBook name is deprecated, as far as I know.

»