Publications

In: Christoph Lange, Josef Urban (editor). Proceedings of the ITP 2011 Workshop on Mathematical Wikis (MathWikis 2011). International Conference on Interactive Theorem Proving (ITP-2011) August 22-25 Nijmegen Netherlands Pages 19-27 CEUR Workshop Proceedings 767 CEUR-WS.org 8/2011.

To the publication

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz