Delivery included to the United States

A Pvs Graph Theory Library

A Pvs Graph Theory Library

Paperback (23 Oct 2018)

Not available for sale

Out of stock

This service is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

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

Book information

ISBN: 9781729139929
Publisher: Independently Published
Imprint: Independently Published
Pub date:
Number of pages: 30
Weight: 98g
Height: 280mm
Width: 216mm
Spine width: 2mm