Michael Kohlhase: Research & Projects
- OMDoc (An xml-based markup standard for structured mathematical documents)
- MathWebSearch (A semantic search engine for mathematical formulae)
- MathWeb (Plug-and-Play Math on the Web)
- Higher-Order Unification
- Higher-Order Theorem Proving
- logics and calculi for partial functions
- natural language semantics