TY  - RPRT
TI  - Automated Conjecturing VII: The Graph Brain Project & Big Mathematics
AU  - N. Bushaw
AU  - C. E. Larson
AU  - N. Van Cleemput
PY  - 2017
UR  - https://arxiv.org/abs/1801.01814
ID  - 1801.01814
ER  -