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