Text Processing

Druckversion

LateXML: A LATEX to XML Converter

General Information
Download/Demo: 
http://dlmf.nist.gov/LaTeXML/
Objectives: 

Transforming the LaTeX sources of the Digital Library of Mathematical Functions material into xml.

User Support
User support Contact: 
bruce.miller
Users mailing list: 
http://lists.jacobs-university.de/mailman/listinfo/project-latexml
User Manual: 
http://dlmf.nist.gov/LaTeXML/manual/
Developer support
Technical contact: 
bruce.miller
Technical documentation: 
http://dlmf.nist.gov/LaTeXML/manual/coremodules/LaTeXML_Package.html

sTeX: Semantically Enhanced TeX

Partner_node: 
Jacobs University
General Information
Download/Demo: 
http://kwarc.eecs.iu-bremen.de/projects/stex/package.html
Bug reporting: 
https://trac.kwarc.info/sTeX
Developer support
Technical documentation: 
http://kwarc.eecs.iu-bremen.de/projects/stex/documentation.html

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.