49 citations · 191 across the 12 of their papers we have counts for
Showing cs.MSShow all
2 papers · 1 filter
cs.MS2012★ 14 cited
Theory Presentation Combinators
Jacques Carette, Russell O'Connor
We motivate and give semantics to theory presentation combinators as the foundational building blocks for a scalable library of theories. The key observation is that the category o…
cs.MS2011★ 9 cited
The MathScheme Library: Some Preliminary Experiments
Jacques Carette, William M. Farmer, Filip Jeremic +3
We present some of the experiments we have performed to best test our design for a library for MathScheme, the mechanized mathematics software system we are building. We wish for o…