@inproceedings{a4e5aa37e6eb4cbaa53af22d036b380c,
title = "Automatic identification of mathematical concepts",
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.",
author = "Simon Colton and Alan Bundy and Toby Walsh",
year = "2000",
language = "English",
isbn = "1-55860-707-2",
pages = "183--190",
booktitle = "ICML '00 Proceedings of the Seventeenth International Conference on Machine Learning",
publisher = "Morgan Kaufmann Publishers Inc.",
}