NASA NTRS · 19980019858
A PVS Graph Theory Library
Abstract
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.
Keep this discovery
Explore connections, maps & timelines
Butler, Ricky W., Sjogren, Jon A.. 1998-02-01. A PVS Graph Theory Library. https://ntrs.nasa.gov/citations/19980019858
Cite the original work for its findings. Save a collection to share your selection of sources.