Adam Grabowski, Christoph Schwarzweller. Towards Automatically Categorizing Mathematical Knowledge. In Maria Ganzha, Leszek A. Maciaszek, Marcin Paprzycki, editors, Federated Conference on Computer Science and Information Systems - FedCSIS 2012, Wroclaw, Poland, 9-12 September 2012, Proceedings. pages 63-68, 2012. [doi]
Abstract is missing.