17 citations · 77 across the 28 of their papers we have counts for
1 paper · 2 filters
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…