𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Two methods of contrasting on the basis of common mathematical concepts

✍ Scribed by Bryll, Grzegorz; Rabijewska, Barbara

Book ID
126757823
Publisher
Taylor and Francis Group
Year
1988
Tongue
English
Weight
453 KB
Volume
19
Category
Article
ISSN
0020-739X

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

On the discovery of mathematical concept
On the discovery of mathematical concepts
✍ 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