12 citations · 44 across the 16 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.LO2019
Towards Specifying Symbolic Computation
Jacques Carette, William M. Farmer
Many interesting and useful symbolic computation algorithms manipulate mathematical expressions in mathematically meaningful ways. Although these algorithms are commonplace in comp…
cs.MS2019★ 4 cited
Big Math and the One-Brain Barrier A Position Paper and Architecture Proposal
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…