@misc{indiciae9db52d31b39f,
  title = {The MathScheme Library: Some Preliminary Experiments},
  author = {Jacques Carette and William M. Farmer and Filip Jeremic and Vincent Maccio and Russell O'Connor and Quang M. Tran},
  year = {2011},
  url = {https://arxiv.org/abs/1106.1862},
  note = {Source identifier: 1106.1862}
}