Michael Kohlhase: Research & Projects

• OMDoc (An XML-based markup standard for structured mathematical documents)
• arXMLiv (translating the arXiv to XHTML+MathML)
• sTeX (LaTeX as a content markup language)
• MathWebSearch (A semantic search engine for mathematical formulae)
• MathWeb (Plug-and-Play Math on the Web)
• Higher-Order Reasoning
• Logics and calculi for partial functions
• Natural language semantics