🔎 Overview#
GALACTIC
A research project[1] for studying Formal Concept Analysis designed with an algebraic core around which revolve, on the one hand, extensions detected at runtime and, on the other hand, applications themselves architected with the same extensibility mechanism. The whole is complemented by theoretical elements and teaching resources that allow one to grasp, step by step, the concepts intrinsic to its comprehension.
GALACTIC stands for GAlois LAttices, Concept Theory, Implicational systems and Closures.
The GALACTIC project is built around a core composed of a central kernel extended by various algebras. Some components can be transparently extended using python packages. Around this central core revolve applications in terminal mode or with a graphical interface, most of which are also extensible.
The GALACTIC project finds its theoretical foundations in several branches of discrete mathematics, in particular the theory of partially ordered sets, lattices, closure operators, concept formal analysis and convex geometries.
We have supported this software project by developing teaching resources adapted to the learning level of undergraduate, masters and PhD students.
Additional resources
- Publications
A non-exhaustive list of publications on the GALACTIC project.
🚧 Coming soon… 🚧
Acknowledgements
The GALACTIC project could not have advanced without the involvement of numerous contributors who aided in its development.