Developing sematict search for mathematics.

Semantic Markup for LaTeX

The LaMaPUn project investigates the structure and meaning of scientific/technical documents and builds tools for extracting semantic representations from them that can be used to enhance access to and interaction with document corpora.

The MathSearch project studies methods for information extraction and information retrieval for mathematical documents with the aim of providing semantically enhanced interaction for Zentralblatt Math and the arXiv.

Translating the to XML+MathML

Subscribe to RSS - Semantization