Editing Formal concept analysis (section)

== Algorithms and tools==
There are a number of simple and fast algorithms for generating formal concepts and for constructing and navigating concept lattices. For a survey, see Kuznetsov and Obiedkov<ref name="AlgSurvey">{{cite journal |last1=Kuznetsov |first1=S. |last2=Obiedkov |first2=S. |title=Comparing Performance of Algorithms for Generating Concept Lattices |journal=[[Journal of Experimental and Theoretical Artificial Intelligence]] |volume=14 |issue= 2–3|pages=189–216 |date=2002 |doi=10.1080/09528130210164170 |s2cid=10784843 |url=}}</ref> or the book by Ganter and Obiedkov,<ref name="GanterObiedkov"/> where also some pseudo-code can be found. Since the number of formal concepts may be exponential in the size of the formal context, the complexity of the algorithms usually is given with respect to the output size. Concept lattices with a few million elements can be handled without problems.

Many FCA software applications are available today.<ref name="fcahome.org.uk">One can find a non exhaustive list of FCA tools in the FCA software website: {{cite web |url=http://www.fcahome.org.uk/fcasoftware.html |title=Formal Concept Analysis Software and Applications |access-date=2010-06-10 |url-status=dead |archive-url=https://web.archive.org/web/20100416002832/http://www.fcahome.org.uk/fcasoftware.html |archive-date=2010-04-16}}</ref> The main purpose of these tools varies from formal context creation to formal [[concept mining]] and generating the concepts lattice of a given formal context and the corresponding implications and [[association rules]]. Most of these tools are academic open-source applications, such as:
* ConExp<ref name="conexp.sourceforge.net">{{cite web|url=http://conexp.sourceforge.net/|title=The Concept Explorer|website=Conexp.sourceforge.net|access-date=27 December 2018}}</ref>
* ToscanaJ<ref name="toscanaj.sourceforge.net">{{cite web|url=http://toscanaj.sourceforge.net/|title=ToscanaJ: Welcome|website=Toscanaj.sourceforge.net|access-date=27 December 2018}}</ref>
* [[Lattice Miner]]<ref name="ReferenceB">Boumedjout Lahcen and Leonard Kwuida. "Lattice Miner: A Tool for Concept Lattice Construction and Exploration". In: Supplementary Proceeding of International Conference on Formal concept analysis (ICFCA'10), 2010</ref>
* Coron<ref name="coron.loria.fr">{{cite web|url=http://coron.loria.fr/site/index.php|title=The Coron System|website=Coron.loria.fr|access-date=27 December 2018|archive-date=16 August 2022|archive-url=https://web.archive.org/web/20220816151915/http://coron.loria.fr/site/index.php|url-status=dead}}</ref>
* FcaBedrock<ref name="sourceforge.net">{{cite web|url=https://sourceforge.net/projects/fcabedrock/|title=FcaBedrock Formal Context Creator|website=SourceForge.net|date=12 June 2014 |access-date=27 December 2018}}</ref>
* GALACTIC<ref name="galactic.univ-lr.fr">{{cite web|url=https://galactic.univ-lr.fr/|title=GALACTIC GAlois LAttices, Concept Theory, Implicational system and Closures|website=galactic.univ-lr.fr|access-date=2 February 2021}}</ref>