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