Evaluating and Improving the Extraction of Mathematical Identifier Definitions. - Moritz Schubotz; Leonard Krämer; Norman Meuschke; Felix Hamborg; Bela Gipp (CLEF, 2017)