Title

Ingrid: A Graph Invariant Manipulator

Comments

Authors: contact us about adding a copy of your work at STARS@ucf.edu

Abbreviated Journal Title

J. Symb. Comput.

Keywords

Computer Science; Theory & Methods; Mathematics; Applied

Abstract

INGRID, a software system for assisting researchers and students of graph theory, is described. It is a partial commutative rule-based system using forward chaining, consists of approximately 1200 production rules, and is written in Berkeley Pascal on a VAX 11/780 under UNIX. INGRID has a data base of 36 graphical invariants and approximately 350 theorems symbolically relating these invariants. A set of one or more user-supplied restrictions upon the values of some invariants is propagated by INGRID, via the theorems, into intervals of possible values for other of the invariants. With the simple user interface provided by INGRID, even a graph theory novice can often discern properties of a graph that might normally require the capabilities of a well-informed expert.

Journal Title

Journal of Symbolic Computation

Volume

7

Issue/Number

2

Publication Date

1-1-1989

Document Type

Article

Language

English

First Page

163

Last Page

177

WOS Identifier

WOS:A1989T743500005

ISSN

0747-7171

Share

COinS