7 citations · 58 across the 20 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…