Name: Michael Kohlhase
Type: User
Company: Computer Science, FAU Erlangen Nürnberg
Bio: Professor of Computer Science at FAU Erlangen-Nürnberg. The @KWARC group works (on systems for) the representation and management of mathematical knowledge
Location: Erlangen, Germany
Blog: http://kwarc.info/kohlhase
Michael Kohlhase's Projects
Cambridge LCF, a port of LCF to ML
The OpenMath Content Dictionaries
A general purpose processing framework for corpora of TeX documents
The kohlhase.net web site
LaTeXML is a TeX and LaTeX to XML translator.
The OpenMath Standard (starting with OpenMath 2)
A semantic Extension of TeX/LaTeX
Website for MathML
MS Word IDE for Annotation