3 citations · 3 across the 3 of their papers we have counts for
1 paper · 1 filter
Elif Uskuplu, Lawrence S. Moss, Valeria de Paiva
Dependency graphs that show how definitions, theorems, and proofs relate to each other are valuable for understanding the structure of mathematical texts. Existing tools such as Le…