1: \begin{thebibliography}{KKY}
2: \bibitem[A]{A} G. Alefeld, Inclusion methods for systems of nonlinear
3: equations - the interval Newton method and modifications, in
4: \emph{ Topics in Validated Computations},
5: J. Herzberger (Editor), Elsevier Science B.V., 1994,
6: pages 7--26
7:
8: \bibitem[An]{An} A. Andronov, Mathematical Problems of
9: self-oscillation theory, in \emph{I All-Union Conference on
10: Oscillations, November 1931}, GTTI, Moscow-Leningrad 1933, pp.
11: 32--71
12:
13: \bibitem[AK]{AK} G. Arioli, H. Koch, Computer-assisted methods for the study of stationary solutions in dissipative systems, applied to the Kuramoto-Sivashinski equation, preprint 2005
14:
15: \bibitem[AAIS]{AAIS} V. Arnold, V. Afraimovich, Y. Ilyashenko, L.
16: Silnikov, Theory of Bifurcations, in V. Arnold ed.,
17: \emph{Dynamical Systems, 5. Encyclopaedia of Mathemical Sciences},
18: 1994, Springer-Verlag New York
19:
20:
21: \bibitem[BC]{BenedicksCarleson} M. Benedicks, L. Carleson, The dynamics of the Hénon map.
22: \emph{Ann. of Math. (2)} 133 (1991), no. 1, 73--169.
23:
24:
25: \bibitem[CAPD]{CAPD}{\rm CAPD -- Computer Assisted Proofs in Dynamics
26: group}, a C++ package for rigorous numerics, {\tt
27: http://capd.wsb-nlu.edu.pl.}
28:
29:
30: \bibitem[CH]{CH} S.-N. Chow and J. Hale, {\em Methods of Bifurcation
31: Theory}, Springer--Verlag, New York, 1982
32:
33: \bibitem[G]{G} G. Iooss, \emph{Bifurcation of Maps and
34: Applications}, North-Holland, 1979
35:
36: \bibitem[GMP]{GMP} GNU Multiple Precision Arithmetic Library, {\tt http://gmplib.org}
37:
38: \bibitem[H]{H} J. Hale, Stability from the bifurcation function,
39: Differential equations (Proc. Eighth Fall Conf., Oklahoma State Univ.,
40: Stillwater, Okla., 1979), Ed. Ahmed, Keener, Lazer,
41: pp. 23--30, Academic Press, New York-London-Toronto, Ont., 1980.
42:
43: \bibitem[HK]{HK} S.-N. J. Hale and H. Kocak, \emph{Dynamics and Bifurcations}, Springer--Verlag, New York, 1986
44:
45:
46: \bibitem[HPS]{HPS} M.W. Hirsch, C.C. Pugh and M. Shub, \emph{Invariant
47: manifolds}, Lecture Notes in Mathematics vol. 583, 1997
48:
49:
50: \bibitem[IE]{IE} {\em The IEEE Standard for Binary Floating-Point
51: Arithmetics}, ANSI-IEEE Std 754, (1985).
52:
53:
54: \bibitem[K]{K} A. Kelley, The Stable, Center-Stable, Center-Unstable,
55: Unstable Manifolds. An Appendix in \emph{Transversal Mappings and
56: Flows } by R. Abraham and J. Robbin, Benjamin, New York, 1967
57:
58:
59: \bibitem[Kr]{Kr} R. Krawczyk,
60: Newton-Algorithmen zur Bestimmung von Nullstellen mit
61: Fehlerschanken, Computing 4, 187—-201 (1969).
62:
63: \bibitem[Ku]{Ku} Y. Kuzniecov, \emph{Elements of Applied Bifurcation
64: Theory}, Applied Mathematical Sciences vol. 112, Springer 1994
65:
66: \bibitem[Lo]{Lo} R.J.\ Lohner, {\em Computation of Guaranteed Enclosures for the Solutions
67: of Ordinary Initial and Boundary Value Problems\/}, in: Computational Ordinary Differential Equations,
68: J.R.\ Cash, I.\ Gladwell Eds., Clarendon Press, Oxford, 1992.
69:
70:
71: \bibitem[MM]{MM} K. Mischaikow, M. Mrozek,
72: The Conley Index Theory, in: Handbook of Dynamical Systems III: Towards Applications,
73: Editors: B. Fiedler, G. Iooss, N. Kopell, Elsevier Science B. V., Singapore 2002, 393-460.
74:
75: \bibitem[MPFR]{MPFR} A C library for multiple-precision floating-point computations with correct
76: rounding, {\tt http://www.mpfr.org}.
77:
78: \bibitem[Mo]{Mo} R.E. Moore, {\em Interval Analysis.} Prentice
79: Hall, Englewood Cliffs, N.J., 1966
80: %
81:
82: \bibitem[MV]{MoraViana} L. Mora, M. Viana, Abundance of strange attractors. \emph{Acta Math.}
83: 171 (1993), no. 1, 1--71.
84:
85: \bibitem[N]{N} A. Neumeier, {\em Interval methods for systems of
86: equations}, Cambridge University Press, 1990.
87:
88:
89: \bibitem[NJ]{NJ} N.S. Nedialkov , K.R. Jackson, \emph{An interval Hermite-Obreschkoff method for computing
90: rigorous bounds on the solution of an initial value problem for an
91: ordinary differential equation.} in \emph{Developments in reliable
92: computing (Budapest, 1998)}, 289--310, Kluwer Acad. Publ.,
93: Dordrecht, 1999.
94:
95:
96: \bibitem[OH]{OH} J.C. F. de Oliveira and J. Hale, Dynamic behavior from
97: bifurcation equations, \emph{
98: Tôhoku Math. J.} (2) 32 (1980), no. 4, 577--592.
99:
100:
101: \bibitem[P]{P} P. Pilarczyk, Topological numerical approach to the existence
102: of periodic trajectories in ODE's, \emph{Discrete and Continuous Dynamical
103: Systems, A Supplement Volume: Dynamical Systems and Differential Equations}, 701-708 (2003)
104:
105:
106: \bibitem[R]{R} O.E. R\"ossler, An Equation for Continuous Chaos, \emph{Physics Letters} Vol. 57A no 5, pp 397--398, 1976.
107:
108: \bibitem[T]{T} R. Thom, \emph{Stabilit\'e Structurelle et
109: Morphogen\'ese}, Benjamin New York 1972
110:
111: \bibitem[WI]{WI} D. Wilczak, {\tt
112: http://www.ii.uj.edu.pl/\~{}wilczak}, a reference for auxiliary
113: materials.
114:
115:
116: \bibitem[WY1]{WangYoung1} Q. Wang, L.-S. Young, Strange attractors with one direction of instability.
117: \emph{Comm. Math. Phys.} 218 (2001), no. 1, 1--97
118:
119: \bibitem[WY2]{WangYoung2} Q. Wang, L.-S. Young, From invariant curves to strange attractors.
120: \emph{ Comm. Math. Phys.} 225 (2002), no. 2, 275--304
121:
122: \bibitem[WZ]{WZn} D. Wilczak, P. Zgliczy\'nski, $C^r$-Lohner algorithm,
123: submitted, available at {\tt
124: http://www.ii.uj.edu.pl/\~{}wilczak}.
125:
126: \bibitem[Z1]{Z1} P. Zgliczy\'nski, $C^1$-Lohner algorithm, {\em Foundations
127: of Computational Mathematics}, {\bf 2} (2002), 429--465.
128:
129: \bibitem[Z2]{Z2} P. Zgliczy\'nski, \emph{Towards an rigorous steady states bifurcation
130: diagram for the
131: Kuramoto-Sivashinsky equation - a computer assisted rigorous
132: approach}, \emph{http://www.ii.uj.edu.pl/\~{}zgliczyn}
133:
134: \bibitem[Z3]{Z3} P. Zgliczy\'nski, Computer assisted proof of chaos in the H\'enon map and in the
135: R\"ossler equations, \emph{Nonlinearity}, 1997, Vol. 10, No. 1,
136: 243--252.
137:
138: \end{thebibliography}
139: