Michael Kohlhase

• Intelligent Computer Mathematics
• Mathematical Knowledge Management
• Mathematical Knowledge Management
• OMDoc -- An Open Markup Format for Mathematical Documents [version 1.2]
• Symbolic Computation and Automated Reasoning
• Digitalisierung Von Zivilprozess und Rechtsdurchsetzung
• Ki 2006
• Robust Argumentation Machines