Using Formal Concept Analysis in Mathematical Discovery

Authors:
Simon Colton;Daniel Wagner
Affiliations:
Combined Reasoning Group, Department of Computing, Imperial College, London,;Combined Reasoning Group, Department of Computing, Imperial College, London,
Venue:
Calculemus '07 / MKM '07 Proceedings of the 14th symposium on Towards Mechanized Mathematical Assistants: 6th International Conference
Year:
2007

Citing 7
Cited 1

On conjectures of graffiti

Discrete Mathematics - First Japan Conference on Graph Theory and Applications
Formal Concept Analysis: Mathematical Foundations

Formal Concept Analysis: Mathematical Foundations
Automated Theory Formation in Pure Mathematics

Automated Theory Formation in Pure Mathematics
Structural Machine Learning with Galois Lattice and Graphs

ICML '98 Proceedings of the Fifteenth International Conference on Machine Learning
Formal Concept Analysis: Foundations and Applications (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)

Formal Concept Analysis: Foundations and Applications (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence)
Managing automatically formed mathematical theories

MKM'06 Proceedings of the 5th international conference on Mathematical Knowledge Management
Contextual attribute logic of many-valued attributes

Formal Concept Analysis

Review: Formal concept analysis in knowledge processing: A survey on applications

Expert Systems with Applications: An International Journal

Quantified Score

Hi-index	0.01

Visualization

Abstract

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 facilitate 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.