LaMaPUn: Language and Mathematics Processing and Understanding

This project investigates semantic enrichment, structural semantics and ambiguity resolution in mathematical corpora, through an architecture built up around the output of LaTeXML. The main tool developed in the project is the LaMaPUn architecture. The most important long term goal of the architecture is to provide a tool for semi-automated mathematical content purification, correction and semantic enrichment.

The founding members are all Jacobs University students: Stefan Anca, Deyan Ginev, Mihai Grigore and Constantin Jucovschi.

Go to the actual homepage.

See the LaMaPUn publications.