12 citations · 44 across the 16 of their papers we have counts for
1 paper · 2 filters
Jacques Carette, William M. Farmer, Michael Kohlhase +1
Over the last decades, a class of important mathematical results have required an ever increasing amount of human effort to carry out. For some, the help of computers is now indisp…