MathGloss

For more information, visit our GitHub repository and read our report MathGloss:Building mathematical glossaries from text