On the discovery of mathematical concept
โ
S. L. Epstein
๐
Article
๐
1988
๐
John Wiley and Sons
๐
English
โ 684 KB
The Graph Theorist (GT) is a system intended to perform mathematical research in graph theory. This paper focuses upon GT's ability 10 discover new mathematical concepts by varying the definitions in its input knowledge base. Each new definition is a correct and complete generator for a class of gra