3 citations · 5 across the 4 of their papers we have counts for
1 paper · 1 filter
F. Guidi, C. Sacerdoti Coen
We present a short survey of the literature on indexing and retrieval of mathematical knowledge, with pointers to 72 papers and tentative taxonomies of both retrieval problems and…