Natural Language Processing of Mathematical Texts in mArachna

by Marie Blanke , Sabina Jeschke , Nicole Natho , Ruedi Seiler , Marc Wilke