INGRID
swMATH ID:  1071 
Software Authors:  Dutton, Ronald D.; Brigham, Robert C. 
Description:  INGRID, a software system for assisting researchers and students of graph theory, is described. It is a partial commutative rulebased 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 usersupplied 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 wellinformed expert. 
Homepage:  http://dl.acm.org/citation.cfm?id=66773 
Keywords:  machine supported logical inference; graph invariants 
Related Software:  AutoGraphiX; GRAFFITI; GRAPH; GraPHedron; HR; nauty; GrInvIn; OTTER; SageMath; PORTA; cdd; OEIS; GRAPE; daVinci; Grappa; GraphBase; MOLGEN; Matlab; Mathematica; LEDA 
Referenced in:  16 Publications 
Standard Articles
1 Publication describing the Software, including 1 Publication in zbMATH  Year 

INGRID: A software tool for extremal graph theory research. Zbl 0535.05001 Dutton, Ronald D.; Brigham, Robert C. 
1983

all
top 5
Referenced by 30 Authors
all
top 5
Referenced in 8 Serials
Referenced in 5 Fields
14  Combinatorics (05XX) 
5  Computer science (68XX) 
1  Partial differential equations (35XX) 
1  Numerical analysis (65XX) 
1  Optics, electromagnetic theory (78XX) 