I am involved in Prof. Arnold Neumaier's FMathL (Formal Mathematical Language) project at the Faculty of Mathematics of the University of Vienna, Austria. My research position is funded by the Austrian Science Fund FWF.

Software developed for FMathL by Kevin Kofler:

• DynGenPar – Dynamic Generalized Parser

Presentations given by Kevin Kofler:

• FMathL Formal Mathematical Language and how it relates to the Grammatical framework (GF) given at the GF Resource Grammar Summer School 2009

Technical reports with Kevin Kofler as the main author:

• Limitations in Content MathML (i.e. why it is not an adequate internal representation for FMathL)
• Limitations in OpenMath (i.e. why it is not an adequate internal representation for FMathL)

See http://www.mat.univie.ac.at/~neum/FMathL.html for more information about the project and for a complete list of downloadable material produced by the project.