Josef Urban. Content-based encoding of mathematical and code libraries. In Christoph Lange 0002, Josef Urban, editors, Proceedings of the ITP 2011 Workshop on Mathematical Wikis, Nijmegen, The Netherlands, August 27th, 2011. Volume 767 of CEUR Workshop Proceedings, pages 49-53, CEUR-WS.org, 2011. [doi]
Abstract is missing.