{
  "id": "2304.00895",
  "version": "v1",
  "published": "2023-04-03T11:32:44.000Z",
  "updated": "2023-04-03T11:32:44.000Z",
  "title": "A computation of the ninth Dedekind Number",
  "authors": [
    "Christian Jäkel"
  ],
  "comment": "11 pages",
  "categories": [
    "math.CO"
  ],
  "abstract": "In this article, we present an algorithm to compute the 9th Dedekind Number. The key aspects are the use of matrix multiplication and symmetries in the free distributive lattice, which are detected with techniques from Formal Concept Analysis.",
  "revisions": [
    {
      "version": "v1",
      "updated": "2023-04-03T11:32:44.000Z"
    }
  ],
  "analyses": {
    "keywords": [
      "ninth dedekind number",
      "computation",
      "formal concept analysis",
      "9th dedekind number",
      "free distributive lattice"
    ],
    "note": {
      "typesetting": "TeX",
      "pages": 11,
      "language": "en",
      "license": "arXiv",
      "status": "editable"
    }
  }
}