TY  - RPRT
TI  - The MathScheme Library: Some Preliminary Experiments
AU  - Jacques Carette
AU  - William M. Farmer
AU  - Filip Jeremic
AU  - Vincent Maccio
AU  - Russell O'Connor
AU  - Quang M. Tran
PY  - 2011
UR  - https://arxiv.org/abs/1106.1862
ID  - 1106.1862
ER  -