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 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 language | English |
|---|---|
| Title of host publication | Towards Mechanized Mathematical Assistants - 14th Symposium, Calculemus 2007 - 6th International Conference, MKM 2007, Proceedings |
| Pages | 205-220 |
| Number of pages | 16 |
| Publication status | Published - 1 Dec 2007 |
| Externally published | Yes |
| Event | Symposium on the Integration of Symbolic Computation and Mechanized Reasoning 2007 - Hagenberg, Austria Duration: 27 Jun 2007 → 30 Jun 2007 Conference number: 14th |
Publication series
| Name | Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
|---|---|
| Volume | 4573 LNAI |
| ISSN (Print) | 0302-9743 |
| ISSN (Electronic) | 1611-3349 |
Conference
| Conference | Symposium on the Integration of Symbolic Computation and Mechanized Reasoning 2007 |
|---|---|
| Abbreviated title | Calculemus 2007 |
| Country/Territory | Austria |
| City | Hagenberg |
| Period | 27/06/07 → 30/06/07 |