ntcir-mias-search (pypi):  The MIaS Search package implements the Math Information Retrival system that won the NTCIR-11 Math-2 main task (Růžička et al., 2014). 
Keywords: ntcir|mias|math_information_retrieval