Jacques Carette William M. Farmer Filip Jeremic Vincent Maccio Russell O'Connor Quang M. Tran The MathScheme Library: Some Preliminary Experiments http://arxiv.org/abs/1106.1862 2011 CoRR abs/1106.1862 db/journals/corr/corr1106.html#abs-1106-1862