HR - A System for Machine Discovery in Finite Algebras (1998)
by
Alan Bundy
,
Simon Colton
,
Toby Walsh
| Venue: | ECAI 98 Workshop Programme |
| Citations: | 8 - 0 self |
BibTeX
@INPROCEEDINGS{Bundy98hr-,
author = {Alan Bundy and Simon Colton and Toby Walsh},
title = {HR - A System for Machine Discovery in Finite Algebras},
booktitle = {ECAI 98 Workshop Programme},
year = {1998},
publisher = {Wiley}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We describe the HR concept formation program which invents mathematical definitions and conjectures in finite algebras such as group theory and ring theory. We give the methods behind and the reasons for the concept formation in HR, an evaluation of its performance in its training domain, group theory, and a look at HR in domains other than group theory.
