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
© 2006 Copyrights KWARC. | XHTML 1.0 | CSS | Page generated from XML sources with the WSML package