Michael Kohlhase

http://kwarc.info/kohlhase [email protected]

Computer Science, FAU Erlangen Nürnberg Erlangen, Germany Professor of Computer Science at FAU Erlangen-Nürnberg. The @KWARC group works (on systems for) the representation and management of mathematical knowledge