Geodesic
Ramseyova teorie aneb příklady, které jsou pro počítač příliš složité
Rozhledy matematicko-fyzikální, Tome 87 (2012) no. 4, pp. 8-15.

Voir la notice de l'article provenant de la source Czech Digital Mathematics Library

Ramsey theory deals with problems asking for the minimum number of elements which guarantees a particular property. These include e.g. Party Problem, Happy End Problem or Van der Waerden Problem. Solving the problems of this kind is rather time-consuming for a computer, but the result can often be obtained by mathematical reasoning with pencil and paper. Ramsey theory was deeply developed by a famous Hungarian mathematician Pál Erdös. 
@article{RMF_2012__87_4_a1,
     author = {Balkov\'a, \v{L}ubom{\'\i}ra and Hru\v{s}kov\'a, Aranka and Mat\'u\v{s}, Vladislav and Schusser, Jakub and \v{S}ubert, Eduard and T\"opfer, Martin},
     title = {Ramseyova teorie aneb p\v{r}{\'\i}klady, kter\'e jsou pro po\v{c}{\'\i}ta\v{c} p\v{r}{\'\i}li\v{s} slo\v{z}it\'e},
     journal = {Rozhledy matematicko-fyzik\'aln{\'\i}},
     pages = {8--15},
     publisher = {mathdoc},
     volume = {87},
     number = {4},
     year = {2012},
     language = {cz},
     url = {http://geodesic.mathdoc.fr/item/RMF_2012__87_4_a1/}
}
TY  - JOUR
AU  - Balková, Ľubomíra
AU  - Hrušková, Aranka
AU  - Matúš, Vladislav
AU  - Schusser, Jakub
AU  - Šubert, Eduard
AU  - Töpfer, Martin
TI  - Ramseyova teorie aneb příklady, které jsou pro počítač příliš složité
JO  - Rozhledy matematicko-fyzikální
PY  - 2012
SP  - 8
EP  - 15
VL  - 87
IS  - 4
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/RMF_2012__87_4_a1/
LA  - cz
ID  - RMF_2012__87_4_a1
ER  - 
%0 Journal Article
%A Balková, Ľubomíra
%A Hrušková, Aranka
%A Matúš, Vladislav
%A Schusser, Jakub
%A Šubert, Eduard
%A Töpfer, Martin
%T Ramseyova teorie aneb příklady, které jsou pro počítač příliš složité
%J Rozhledy matematicko-fyzikální
%D 2012
%P 8-15
%V 87
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/RMF_2012__87_4_a1/
%G cz
%F RMF_2012__87_4_a1
Balková, Ľubomíra; Hrušková, Aranka; Matúš, Vladislav; Schusser, Jakub; Šubert, Eduard; Töpfer, Martin. Ramseyova teorie aneb příklady, které jsou pro počítač příliš složité. Rozhledy matematicko-fyzikální, Tome 87 (2012) no. 4, pp. 8-15. http://geodesic.mathdoc.fr/item/RMF_2012__87_4_a1/