Edinburgh Research Explorer

Automatic identification of mathematical concepts

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

Related Edinburgh Organisations

Open Access permissions

Open

Documents

http://ccg.doc.gold.ac.uk/papers/colton_icml00.pdf
Original languageEnglish
Title of host publicationICML '00 Proceedings of the Seventeenth International Conference on Machine Learning
PublisherMorgan Kaufmann Publishers Inc.
Pages183-190
Number of pages8
ISBN (Print)1-55860-707-2
StatePublished - 2000
EventICML 200 - Stanford, United States
Duration: 29 Jun 20002 Jul 2000

Conference

ConferenceICML 200
CountryUnited States
CityStanford
Period29/06/002/07/00

Abstract

The HR program by Colton et al.(1999) performs theory formation in mathematics by exploring a space of mathematical concepts. By enabling HR to determine when it has found a particular concept, and by adding a forward looking mechanism, we have applied HR to the problem of identifying mathematical concepts. We illustrate this by using HR to identify and extrapolate integer sequences and by performing a qualitative comparison with the machine learning program Progol.

Event

ICML 200

29/06/002/07/00

Stanford, United States

Event: Conference

Download statistics

No data available

ID: 15514511