Formal Entity Graphs as Complex Networks: Assessing Centrality Metrics of the Archive of Formal Proofs.
Fabian HuchPublished in: CICM (2022)
Keyphrases
- complex networks
- formal proofs
- betweenness centrality
- social network analysis
- network analysis
- community detection
- graph theory
- community detection algorithms
- real world networks
- degree centrality
- community discovery
- community structure
- social networks
- information theoretic concepts
- small world
- network structure
- undirected graph
- protein interaction networks
- graph mining
- maximal cliques
- centrality measures
- scale free
- link prediction
- random graphs
- small world networks
- network evolution
- graph theoretic
- scale free networks
- functional modules
- graph partitioning
- network motifs
- degree distribution
- biological networks
- social and information networks
- graph structure
- clustering coefficient
- graph model
- bipartite graph