7 citations · 58 across the 20 of their papers we have counts for
Showing cs.MSShow all
2 papers · 1 filter
cs.MS2020★ 2 cited
The Space of Mathematical Software Systems -- A Survey of Paradigmatic Systems
Katja Bercic, Jacques Carette, William M. Farmer +4
Mathematical software systems are becoming more and more important in pure and applied mathematics in order to deal with the complexity and scalability issues inherent in mathemati…
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…