Computer-aided investigation in graph theory (abstract only)

R. Sedlmeyer,M. Lipman
DOI: https://doi.org/10.1145/320599.320735
1985-03-01
Abstract:Grapple is a microcomputer-based system for creating graphs and investigating their properties. The system reduces the computational burden of a user engaged in graph theory research. Unlike previous systems, Grapple supports conjecturing across a wide spectrum of graph theoretic problems. Grapple consists of two major components: creation and investigation. The user creates graphs by specifying vertices and edges or by choosing graphs from a standard or user library. Graphs may also be created by applying operations to previously defined graphs. The user also controls display attributes such as vertex size and the labelling scheme. This component is intended to assist the user in the investigation of graph theoretic questions. Investigation is supported by computation of simple properties such as shortest paths, and recording previous lines of reasoning. Planned capabilities include computation of higher-order properties such as toughness, and the study of arbitrary properties defined by the user.
What problem does this paper attempt to address?