Warning: Duplicate entry '3917396' for key 1 query: INSERT INTO watchdog (uid, type, message, severity, link, location, referer, hostname, timestamp) VALUES (0, 'php', '<em>Duplicate entry &amp;#039;3917396&amp;#039; for key 1\nquery: INSERT INTO watchdog (uid, type, message, severity, link, location, referer, hostname, timestamp) VALUES (0, &amp;#039;faceted_search&amp;#039;, &amp;#039;&amp;lt;em&amp;gt;taxonomy:32&amp;lt;/em&amp;gt;.&amp;#039;, 0, &amp;#039;&amp;lt;a href=\\&amp;quot;/ca/software/search/results/taxonomy%3A32\\&amp;quot; class=\\&amp;quot;active\\&amp;quot;&amp;gt;resultats&amp;lt;/a&amp;gt;&amp;#039;, &amp;#039;http://www.jem-thematic.net/ca/software/search/results/taxonomy%3A32&amp;#039;, &amp;#039;&amp;#039;, &amp;#039;38.107.191.101&amp;#039;, 1269156233)</em> a <em>/private/var/www/net.jem-thematic/site/includes/database.mysql.inc</em> en la lí in /private/var/www/net.jem-thematic/site/includes/database.mysql.inc on line 174
Search software: Text Processing | JEM - Joining Educational Mathematics
Events › Authoring ... › Recent popular ... › Tutorial action ... › Feed RSS › Revising the ...

Search software: Text Processing

Versió per a imprimir
user warning: Duplicate entry '3917396' for key 1 query: INSERT INTO watchdog (uid, type, message, severity, link, location, referer, hostname, timestamp) VALUES (0, 'faceted_search', '<em>taxonomy:32</em>.', 0, '<a href=\"/ca/software/search/results/taxonomy%3A32\" class=\"active\">resultats</a>', 'http://www.jem-thematic.net/ca/software/search/results/taxonomy%3A32', '', '38.107.191.101', 1269156233) in /private/var/www/net.jem-thematic/site/includes/database.mysql.inc on line 174.
2 results

Resultats

sTeX: Semantically Enhanced TeX

The last few years have seen the emergence of various content-oriented XML-based, content-oriented markup languages for mathematics on the web, e.g. OpenMath, Content MathML, or OMDoc. These representation languages for mathematics make the structure of the mathematical knowledge in a document explicit enough so that machines can operate on it. Other examples of content-oriented formats for mathematics include the various logic-based languages found in automated reasoning tools, program specification languages.

Contingut sindicat