12 citations · 44 across the 16 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
cs.LO2020
Leveraging the Information Contained in Theory Presentations
Jacques Carette, William M. Farmer, Yasmine Sharoda
A theorem prover without an extensive library is much less useful to its potential users. Algebra, the study of algebraic structures, is a core component of such libraries. Algebra…
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…