Related Work

 mArachna

•  mArachna: A Classification Scheme for Semantic Retrieval in eLearning Environments in Mathematics
•  mArachna: Automated Creation of Knowledge Representations for Mathematics

 NaProChe (Natural Proof Checker)

•  An introductory talk
• They use  ACE (Attempto Controlled English) as an intermediate language for Math (and Math Proofs)

 The DIALOG Project

• Magdalena Wolska's work has been dealing with a problem tangent to the understanding of the  arXMLiv corpus, so we can learn a lot from her complete  list of publications.
  •  A Language Engineering Architecture for Processing Informal Mathematical Discourse, Magdalena Wolska
    • A five minute introductory talk can be found at the  DML Workshop 2008 website
  •  Analysis of Mixed Natural and Symbolic Language Input in Mathematical Dialogs, Magdalena Wolska

 Max Planck Institute for Psycholinguistics

• Claus Zinn has worked on understanding informal mathematical discourse. His  list of publications and his  Google site are a good reference to his work.
  •  A Computational Framework For Understanding Mathematical Discourse, Claus Zinn.
  •  Understanding Informal Mathematical Discourse, Claus Zinn. PhD thesis.

 Stephen Watt's work on  arXiv

•  An Empirical Measure on the Set of Symbols Occurring in Engineering Mathematics Texts, Stephen M. Watt, pp. 557-564, Proc. 8th IAPR International Workshop on Document Analysis Systems, (DAS 2008), Sept 17-19 2008, Nara, Japan, IEEE Computer Society.
•  Mathematical Document Classification via Symbol Frequency Analysis, Stephen M. Watt, pp. 29-40, Proc. Towards Digital Mathematics Library, (DML 08), July 27 2008, Birmingham, UK, IEEE Computer Society.

Various

• Some thoughts on  Math as a Natural Language from the  NLP blog

Conferences and Workshops

 SensEval Workshop series

•  SemEval-2: The issue of 2010 offers a range of  tasks, aiming to evaluate the performance of different semantic analysis systems. Deadline around April 2010.

 The Elsevier Grand Challenge

•  The Elsevier Grand Challenge: Knowledge Enhancement in the Life Sciences is a contest created to improve the way scientific information is communicated and used. The contest invites members of the scientific community to describe and prototype a tool to improve the interpretation and identification of meaning in (online) journals and text databases relating to the life sciences. See  the detailed description for more information.