October 12, 2022
Author(s)
Jacob Collard, Valeria de Paiva, Brendan Fong, Eswaran Subrahmanian
We investigate some different systems for extracting mathematical entities from texts in the mathematical field of category theory, as a first step for constructing a mathematical knowledge graph. We consider four different term extractors and compare