5 citations · 11 across the 6 of their papers we have counts for
1 paper · 1 filter
Florian Rabe
One of the most promising applications of mathematical knowledge management is search: Even if we restrict attention to the tiny fragment of mathematics that has been formalized, t…