@article{automatedconjecturingviithegraphbrain,
  title = {Automated Conjecturing VII: The Graph Brain Project & Big Mathematics},
  author = {N. Bushaw and C. E. Larson and N. Van Cleemput},
  year = {2017},
  eprint = {1801.01814},
  archivePrefix = {arXiv},
  url = {http://arxiv.org/abs/1801.01814v1},
}