19 citations · 21 across the 7 of their papers we have counts for
7 papers
Long-term Productivity for Long-term Impact
Spencer Smith, Jacques Carette
We present a new conceptual definition of 'productivity' for sustainably developing research software. Existing definitions are flawed as they are short-term biased, thus devaluing…
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…
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…
GOOL: A Generic Object-Oriented Language (extended version)
Jacques Carette, Brooks MacLachlan, W. Spencer Smith
We present GOOL, a Generic Object-Oriented Language. It demonstrates that a language, with the right abstractions, can capture the essence of object-oriented programs. We show how…
Realms: A Structure for Consolidating Knowledge about Mathematical Theories
Jacques Carette, William M. Farmer, Michael Kohlhase
Since there are different ways of axiomatizing and developing a mathematical theory, knowledge about a such a theory may reside in many places and in many forms within a library of…
Understanding the Learners' Actions when using Mathematics Learning Tools
Paul Libbrecht, Sandra Rebholz, Daniel Herding +2
The use of computer-based mathematics tools is widespread in learning. Depending on the way that these tools assess the learner's solution paths, one can distinguish between automa…