12 citations · 44 across the 16 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…