A structured representation of a paper as a network showing how mathematical results directly support each other.