Edinburgh Research Explorer

HR: A System for Machine Discovery in Finite Algebras

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Related Edinburgh Organisations

Open Access permissions

Open

Documents

Original languageEnglish
Title of host publication13th biennial European Conference on Artificial Intelligence Workshop 1998
StatePublished - 1998
EventECAI 98 Workshop Programme - Brighton, United Kingdom
Duration: 24 Aug 199824 Aug 1998

Conference

ConferenceECAI 98 Workshop Programme
CountryUnited Kingdom
CityBrighton
Period24/08/9824/08/98

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.

Event

ECAI 98 Workshop Programme

24/08/9824/08/98

Brighton, United Kingdom

Event: Conference

Download statistics

No data available

ID: 25321971