ntcir-math-density (pypi):  The NTCIR Math Density Estimator package uses datasets, and judgements in the NTCIR-11 Math-2, and NTCIR-12 MathIR XHTML5 format to compute density, and probability estimates.
Keywords: ntcir|math_information_retrieval