A Graph-Based Approach Towards Discerning Inherent Structures in a Digital Library of Formal Mathematics.
Lori LorigoJon M. KleinbergRichard EatonRobert L. ConstablePublished in: MKM (2004)
Keyphrases
- digital libraries
- graph structures
- graph structure
- metadata
- random walk
- graph theory
- information access
- structured data
- directed graph
- bipartite graph
- graph mining
- graph representation
- graph matching
- graph theoretic
- graph search
- graph model
- chemical compounds
- weighted graph
- computer science
- link analysis
- databases
- formal specification
- information resources
- formal model
- graphical representation
- formal methods
- connected components
- global structure
- dependency graph
- multimedia
- sci tech