19 citations · 19 across the 5 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…