Automated Conjecturing VII: The Graph Brain Project & Big Mathematics.
Neal BushawCraig E. LarsonNicolas Van CleemputPublished in: CoRR (2018)
Keyphrases
- semi automated
- case study
- random walk
- graph representation
- graph theory
- computer science
- graph data
- graph theoretic
- directed acyclic graph
- weighted graph
- fully automated
- big data
- project management
- human brain
- graph structure
- computer assisted
- graph model
- brain images
- fully automatic
- structured data
- software development
- web intelligence
- graph mining
- graph databases
- cortical surface
- computational intelligence