annotation tool, coreference resolution, Grounding of formulae, Mathematical Language Processing, Natural Language Processing.
