REFERENCES
- G.Alefeld, Introduction to interval analysis, SIAM Rev.53 (2011), pp. 380–381.
- D.G.Aronson, M.A.Chory, G.R.Hall, and R.P.McGehee, Bifurcations from an invariant circle for two-parameter families of maps of the plane: A computer-assisted study, Commun. Math. Phys.83 (1982), pp. 303–354. Available at http://projecteuclid.org/getRecord?id = euclid.cmp/1103920867.
- CAPD, CAPD library. The Computer Assisted Proofs in Dynamics group at the Jagiellonian University in Krakow; software. Available at http://capd.ii.uj.edu.pl.
- C.W.Clark, A delayed-recruitment model of population dynamics, with an application to baleen whale populations, J. Math. Biol.3 (1976), pp. 381–391. Available at http://dx.doi.org/10.1007/BF00275067.
- M.Dellnitz and A.Hohmann, A subdivision algorithm for the computation of unstable manifolds and global attractors, Numer. Math.75 (1997), pp. 293–317. Available at http://dx.doi.org/10.1007/s002110050240.
- M.Dellnitz, A.Hohmann, O.Junge, and M.Rumpf, Exploring invariant sets and invariant measures, Chaos7 (1997), pp. 221–228. Available at http://dx.doi.org/10.1063/1.166223.
- A.Dénes and G.Makay, Attractors and basins of dynamical systems, Electron. J. Qual. Theory Differ. Equ.20 (2011), pp. 1–11.
- Z.Galias, Rigorous investigation of the Ikeda map by means of interval arithmetic, Nonlinearity15 (2002), pp. 1759–1779. Available at http://dx.doi.org/10.1088/0951-7715/15/6/304.
- J.Hass, M.Hutchings, and R.Schlafly, The double bubble conjecture, Electron. Res. Announc. Am. Math. Soc.1 (1995), pp. 98–102. Available at http://dx.doi.org/10.1090/S1079-6762-95-03001-0.
- V. Jiménez López, A counterexample on global attractivity for Clark's equation, in Proceedings of the Workshop Future Directions in Difference Equations, Colección Congresos, Vol. 69, Univ. Vigo, Serv. Publ., Vigo (2011), pp. 97–105.
- V. Jiménez López and E. Parreño, L.A.S. and negative Schwarzian derivative do not imply G.A.S. in Clark's equation, preprint.
- Y.A.Kuznetsov, Applied Mathematical Sciences, 2nd ed., Vol. 112, Springer-Verlag, New York, 1998.
- G.Ladas, On the recursive sequence, J. Difference Equ. Appl.1 (1995), pp. 317–321. Available at http://dx.doi.org/10.1080/10236199508808030.
- S.A.Levin and R.M.May, A note on difference-delay equations, Theoret. Popul. Biol.9 (1976), pp. 178–187.
- E.Liz, Local stability implies global stability in some one-dimensional discrete single-species models, Discrete Contin. Dyn. Syst. Ser. B7 (2007), pp. 191–199. Available at http://dx.doi.org/10.3934/dcdsb.2007.7.191.
- E.Liz, Stability of non-autonomous difference equations: Simple ideas leading to useful results,, J. Difference Equ. Appl.17 (2011), pp. 203–220. Available at http://dx.doi.org/10.1080/10236198.2010.549007.
- E.Liz and G.Röst, Dichotomy results for delay differential equations with negative schwarzian derivative, Nonlinear Anal. Real World Appl.11 (2010), pp. 1422–1430. Available at http://www.sciencedirect.com/science/article/pii/S1468121809001424.
- E.Liz, V.Tkachenko, and S.Trofimchuk, A global stability criterion for scalar functional differential equations, SIAM J. Math. Anal.35 (2003), pp. 596–622. Available at http://dx.doi.org/10.1137/S0036141001399222.
- E.Liz, V.Tkachenko, and S.Trofımchuk, Global stability in discrete population models with delayed-density dependence, Math. Biosci.199 (2006), pp. 26–37. Available at http://dx.doi.org/10.1016/j.mbs.2005.03.016.
- S.Luzzatto and P.Pilarczyk, Finite resolution dynamics, Found. Comput. Math.11 (2011), pp. 211–239. Available at http://dx.doi.org/10.1007/s10208-010-9083-z.
- O.Merino, Global attractivity of the equilibrium of a difference equation: An elementary proof assisted by computer algebra system, J. Difference Equ. Appl.17 (2011), pp. 33–41. Available at http://dx.doi.org/10.1080/10236190902932718.
- K.Mischaikow and M.Mrozek, Chaos in the Lorenz equations: A computer-assisted proof, Bull. Am. Math. Soc. (N.S.)32 (1995), pp. 66–72. Available at http://dx.doi.org/10.1090/S0273-0979-1995-00558-6.
- R.E.Moore, SIAM Studies in Applied Mathematics, Vol. 2, Society for Industrial and Applied Mathematics (SIAM), Philadelphia, PA, 1979.
- N.S.Nedialkov, K.R.Jackson, and G.F.Corliss, Validated solutions of initial value problems for ordinary differential equations, Appl. Math. Comput.105 (1999), pp. 21–68. Available at http://dx.doi.org/10.1016/S0096-3003(98)10083-8.
- NIIF, Available at http://www.niif.hu.
- W.E.Ricker, Stock and recruitment, J. Fish. Res. Board Can.11 (1954), pp. 559–623. Available at http://www.nrcresearchpress.com/doi/abs/10.1139/f54-039.
- J.G. Siek, L.Q. Lee, and A. Lumsdaine, The Boost Graph Library: User Guide and Reference Manual, Addison-Wesley, 2002. Available at http://www.awprofessional.com/title/0201729148.
- R.Tarjan, Depth-first search and linear graph algorithms, SIAM J. Comput.1 (1972), pp. 146–160. Available at http://link.aip.org/link/?SMJ/1/146/1.
- V.Tkachenko and S.Trofimchuk, A global attractivity criterion for nonlinear non-autonomous difference equations, J. Math. Anal. Appl.322 (2006), pp. 901–912. Available at http://dx.doi.org/10.1016/j.jmaa.2005.09.052.
- W.Tucker, A rigorous ODE solver and Smale's 14th problem, Found. Comput. Math.2 (2002), pp. 53–117.
- W.Tucker, Validated Numerics: A Short Introduction to Rigorous Computations, Princeton University Press, Princeton, NJ, 2011.
- D.Wilczak, Uniformly hyperbolic attractor of the Smale–Williams type for a Poincaré map in the Kuznetsov system, SIAM J. Appl. Dyn. Syst.9 (2010), pp. 1263–1283. Available at http://dx.doi.org/10.1137/100795176, with online multimedia enhancements.