Automated Conjecturing VII: The Graph Brain Project & Big Mathematics
From MaRDI portal
Publication:6296063
arXiv1801.01814MaRDI QIDQ6296063
Craig E. Larson, Nicolas Van Cleemput, Neal Bushaw
Publication date: 28 December 2017
Graph theory (including graph drawing) in computer science (68R10) Vertex subsets with special properties (dominating sets, independent sets, cliques, etc.) (05C69)
This page was built for publication: Automated Conjecturing VII: The Graph Brain Project & Big Mathematics