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