18 citations · 50 across the 8 of their papers we have counts for
1 paper · 2 filters
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…