17 citations · 77 across the 28 of their papers we have counts for
1 paper · 1 filter
Jacques Carette, William M. Farmer, Michael Kohlhase
Since there are different ways of axiomatizing and developing a mathematical theory, knowledge about a such a theory may reside in many places and in many forms within a library of…