A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is
The Graph Theorist, GT, is a system which performs mathematical research in graph theory. This paper focuses upon GTs ability to conjecture and prove mathematical theorems from the definitions in its input knowledge base. Each class of graphs is defined in an algebraic notation with a semantic interpretation that is a stylized algorithm to generate the class correctly and completely. From a knowledge base of such concept definitions, GT is able to conjecture and prove such theorems as "The setdoi:10.1002/int.4550030205 fatcat:2uy7naiytvhillxavopj6y7qee