Welcome to the LaMaPUn Trac!

The Language and Mathematics Processing and Understanding ( LaMaPUn) group aims at developing tools and investigating research topics in Natural Language and Mathematics Processing in the context of the  arXMLiv corpus.

Group Focus

Our main focus is Semantic Enrichment of mathematical documents. Areas of interest are:

• Linguistic analysis of mathematical documents
• Ambiguity treatment and Underspecification
• Structural Semantics
• Information Retrieval and Document Clustering
• Management of Change
• Plausibility Checks
• Verification

Current Group Projects for Fall 10

• Construction of Semantic Formula Trees for arXMLiv Mathematical Expressions (D.Ginev)
• A Ground-truth corpus for LaMaPUn analyses (D.Ginev)

Group Projects for Spring 09

• Semantic Purification of arXMLiv Mathematical Fragments (D. Ginev)
• JavaScript Annotation Framework (C.David)
• Context Based Formula Understanding (M. Grigore)
• Mathematical Formula Disambiguation (C. Jucovschi)
• A Comparison between Idiom Spotting Methods (S. Anca)

Resources

• Weekly meeting notes
• Related Work

• Ontologies and Reasoning
• Mathematical Discourse
• Natural Language Processing
• Corpus-based Computational Semantics and Computational Linguistics

Tools

• Maven
• Open RDF Database

Administrativa

• The administrators of this Trac are Ștefan Anca and Deyan Ginev
• You are welcome to  subscribe to the project mailing list.

Starting Points

• TracGuide -- Built-in Documentation
•  The Trac project -- Trac Open Source Project
•  Trac FAQ -- Frequently Asked Questions
• TracSupport -- Trac Support

For a complete list of local wiki pages, see TitleIndex.