{
  "id": "1607.04741",
  "version": "v1",
  "published": "2016-07-16T13:37:54.000Z",
  "updated": "2016-07-16T13:37:54.000Z",
  "title": "Flag Algebras: A First Glance",
  "authors": [
    "Marcel K. de Carli Silva",
    "Fernando Mário de Oliveira Filho",
    "Cristiane Maria Sato"
  ],
  "comment": "13pp., written for Niew Archief voor Wiskunde",
  "categories": [
    "math.CO",
    "math.OC"
  ],
  "abstract": "The theory of flag algebras, introduced by Razborov in 2007, has opened the way to a systematic approach to the development of computer-assisted proofs in extremal combinatorics. It makes it possible to derive bounds for parameters in extremal combinatorics with the help of a computer, in a semi-automated manner. This article describes the main points of the theory in a complete way, using Mantel's theorem as a guiding example.",
  "revisions": [
    {
      "version": "v1",
      "updated": "2016-07-16T13:37:54.000Z"
    }
  ],
  "analyses": {
    "keywords": [
      "flag algebras",
      "first glance",
      "extremal combinatorics",
      "mantels theorem",
      "main points"
    ],
    "note": {
      "typesetting": "TeX",
      "pages": 13,
      "language": "en",
      "license": "arXiv",
      "status": "editable"
    }
  }
}