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:
Presentations given by Kevin Kofler:
Technical reports with Kevin Kofler as the main author:
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.