The MathScheme Library: Some Preliminary Experiments - Jacques Carette; William M. Farmer; Filip Jeremic; Vincent Maccio; Russell O'Connor; Quang M. Tran (CoRR, 2011)