The use of data-mining for the automatic formation of tactics

Hazel Duncan, Alan Bundy, John Levine, Amos Storkey, Martin Pollet

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

Abstract

The aim of this project is to evaluate the applicability of data-mining techniques
to the automatic formation of tactics from large corpuses of proofs. We data-mine
information from large proof corpuses to find commonly occurring patterns. These
patterns are then evolved into tactics using genetic programming techniques.
Original languageEnglish
Title of host publicationComputer-Supported Mathematical Theory Development’04
Publication statusPublished - 2004
EventWorkshop on Computer-Supported Mathematical Theory Development, IJCAR - , United Kingdom
Duration: 5 Jul 2004 → …

Workshop

WorkshopWorkshop on Computer-Supported Mathematical Theory Development, IJCAR
Country/TerritoryUnited Kingdom
Period5/07/04 → …

Fingerprint

Dive into the research topics of 'The use of data-mining for the automatic formation of tactics'. Together they form a unique fingerprint.

Cite this