Edinburgh Research Explorer

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

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

Original languageEnglish
Title of host publicationComputer-Supported Mathematical Theory Development’04
StatePublished - 2004
EventWorkshop on Computer-Supported Mathematical Theory Development, IJCAR - , United Kingdom
Duration: 5 Jul 2004 → …

Workshop

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

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.

Event

ID: 25321360