2016/07/16 by Marcel K. de Carli Silva, Silva, Marcel K. de Carli, Fernando Mário de Oliveira Filho +3 · 2 citations
Mathematics · Computer Science · Engineering · #Limits and Structures in Graph Theory #Graph Labeling and Dimension Problems #graph theory and CDMA systems
paper · pdf · doi:10.48550/arxiv.1607.04741
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.