Using Formal Concept Analysis in Mathematical Discovery
From MaRDI portal
Publication:5428271
DOI10.1007/978-3-540-73086-6_18zbMATH Open1202.68308OpenAlexW1596521139MaRDI QIDQ5428271FDOQ5428271
Authors: Simon Colton, Daniel Wagner
Publication date: 28 November 2007
Published in: Towards Mechanized Mathematical Assistants (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-73086-6_18
Recommendations
- scientific article; zbMATH DE number 2090731
- scientific article; zbMATH DE number 877297
- Mathematical aspects of concept analysis
- Formal concept analysis as mathematical theory of concepts and concept hierarchies
- Concept Lattices
- scientific article; zbMATH DE number 3184952
- Mathematics and conceptual analysis
- scientific article; zbMATH DE number 1163843
Cited In (1)
Uses Software
This page was built for publication: Using Formal Concept Analysis in Mathematical Discovery
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5428271)