Publisher's Synopsis
This paper documents the NASA Langley PVS graph theory library. The library provides fundamental definitions for graphs, subgraphs, walks, paths, subgraphs generated by walks, trees, cycles, degree, separating sets, and four notions of connectedness. Theorems provided include Ramsey's and Menger's and the equivalence of all four notions of connectedness. Butler, Ricky W. and Sjogren, Jon A. Langley Research Center RTOP 519-50-11-01