Faceted search for mathematics - Hambasan, Radu; Kohlhase, Michael (6th International Conference on Mathematical Aspects of Computer and Information Sciences, MACIS 2015, 2016)