14 citations · 23 across the 2 of their papers we have counts for
1 paper · 1 filter
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…