@misc{indiciae88bf43b01c95,
  title = {Automated Conjecturing VII: The Graph Brain Project \& Big Mathematics},
  author = {N. Bushaw and C. E. Larson and N. Van Cleemput},
  year = {2017},
  url = {https://arxiv.org/abs/1801.01814},
  note = {Source identifier: 1801.01814}
}