TY - GEN Y1 - 2016/// KW - Differenciálegyenlet - késleltetett EP - 19 N2 - We present an application of a recently developed algorithm for rigorous integration forward in time of delay differential equations (DDEs) to a computer assisted proof of the existence of several periodic orbits in a DDE obtained by a singular perturbation limit method from the classical logistic map. The proofs are done near the parameter value for which multistability was numerically observed. SN - 1417-3875 UR - http://acta.bibl.u-szeged.hu/73750/ N1 - Bibliogr.: p. 17-19. ; összefoglalás angol nyelven ID - acta73750 AV - public A1 - Szczelina Robert TI - A computer assisted proof of multiple periodic orbits in some first order non-linear delay differential equation ER -