Using formal concept analysis in mathematical discovery

Simon Colton, Daniel Wagner

Research output: Chapter in Book/Report/Conference proceedingConference PaperResearchpeer-review

1 Citation (Scopus)


Formal concept analysis (FCA) comprises a set of powerful algorithms which can be used for data analysis and manipulation, and a set of visualisation tools which enable the discovery of meaningful relationships between attributes of the data. We explore the potential of combining FCA and mathematical discovery tools in order to better far cilitate discovery tasks. In particular, we propose a novel lookup method for the Encyclopedia of Integer Sequences, and we show how conjectures from the Graffiti discovery program can be better understood using FCA visualisation tools. We argue that, not only can FCA tools greatly enhance the management and visualisation of mathematical knowledge, but they can also be used to drive exploratory processes.

Original languageEnglish
Title of host publicationTowards Mechanized Mathematical Assistants - 14th Symposium, Calculemus 2007 - 6th International Conference, MKM 2007, Proceedings
Number of pages16
Publication statusPublished - 1 Dec 2007
Externally publishedYes
EventSymposium on the Integration of Symbolic Computation and Mechanized Reasoning 2007 - Hagenberg, Austria
Duration: 27 Jun 200730 Jun 2007
Conference number: 14th

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume4573 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349


ConferenceSymposium on the Integration of Symbolic Computation and Mechanized Reasoning 2007
Abbreviated titleCalculemus 2007

Cite this