{
  "id": "2405.20904",
  "version": "v1",
  "published": "2024-05-31T15:15:51.000Z",
  "updated": "2024-05-31T15:15:51.000Z",
  "title": "Solving systems of equations on antichains for the computation of the ninth Dedekind Number",
  "authors": [
    "Patrick De Causmaecker",
    "Lennart Van Hirtum"
  ],
  "categories": [
    "math.CO",
    "cs.DM"
  ],
  "abstract": "We study three systems of equations, together with a way to count the number of solutions. One of the results was used in the recent computation of D(9), the others have potential to speed up existing techniques in the future.",
  "revisions": [
    {
      "version": "v1",
      "updated": "2024-05-31T15:15:51.000Z"
    }
  ],
  "analyses": {
    "keywords": [
      "ninth dedekind number",
      "solving systems",
      "computation",
      "antichains"
    ],
    "note": {
      "typesetting": "TeX",
      "pages": 0,
      "language": "en",
      "license": "arXiv",
      "status": "editable"
    }
  }
}