@inproceedings{0ab38c5473c6470d9f8008240b5443ce,
title = "Cross Domain Mathematical Concept Formation",
abstract = "Many interesting concepts in mathematics are essentially ‘cross-domain’ in nature, relating objects from more than one area of mathematics, e.g. prime order groups. These concepts are often vital to the formation of a mathematical theory. Often, the introduction of cross-domain concepts to an investigation seems to exercise a mathematician’s creative ability. The HR program, (Colton et al., 1999), proposes new concepts in mathematics. Its original implementation was limited to working in one mathematical domain at a time, so it was unable to create cross-domain concepts. Here, we describe an extension of HR to multiple domains. Cross-domain concept formation is facilitated by generalisation of the data structures and heuristic measures employed by the program, and the implementation of a new production rule. Results achieved include generation of the concepts of prime order groups, graph nodes of maximal degree and an interesting class of graph.",
author = "G. Steel and S. Colton and Alan Bundy and T. Walsh",
year = "2000",
language = "English",
booktitle = "AISB 2000",
}