1 citations · 1 across the 1 of their papers we have counts for
1 paper · 1 filter
Jacob Collard, Valeria de Paiva, Brendan Fong +1
We investigate different systems for extracting mathematical entities from English texts in the mathematical field of category theory as a first step for constructing a mathematica…