1: \begin{thebibliography}{ZZZ}
2:
3: \bibitem[CAPD]{CAPD}{\rm CAPD -- Computer Assisted Proofs in Dynamics
4: group}, a C++ package for rigorous numerics, {\tt
5: http://capd.wsb-nlu.edu.pl.}
6:
7: \bibitem[CZ]{CZ} M. Capi\'nski, P. Zgliczy\'nski, Covering Relations and Non-autonomous
8: Perturbations of ODEs, \emph{Discrete Cont. Dyn. Sys. A}, 14,
9: 281--293 (2006)
10:
11: \bibitem[D]{D} G. Dahlquist, \emph{Stability and Error Bounds in the Numerical Intgration
12: of Ordinary Differential Equations}, Almqvist \& Wiksells,
13: Uppsala, 1958; Transactions of the Royal Institute of
14: Technology, Stockholm, 1959.
15:
16: \bibitem[DV]{DV} K. Dekker and J.G. Verwer, \emph{Stability of
17: Runge-Kutta Methods for Stiff Nonlinear Differential Equations},
18: North Holland, New York, 1984
19:
20: \bibitem[G]{G} T. Gayer, {\em Controlled and perturbed systems under papameter variation},
21: 2003, Dissertation, Universit\"at Augsburg, Augsburg, Germany.
22:
23: \bibitem[HNW]{HNW} E.\ Hairer, S.P.\ N\o rsett and G.\ Wanner,
24: {\em Solving Ordinary Differential Equations I, Nonstiff
25: Problems}, Springer-Verlag, Berlin Heidelberg 1987.
26:
27: \bibitem[KS]{KS} E. Kreuzer and W. Sichermann, {\em Investigation of large amplitude
28: roll motions and capsizing}, in Proceedings of the Ninth International
29: Symposium on Practical Design of Ships and Other Floating Structures,
30: H. Keil and E. Lehmann, eds., Hansa Verlag, 2004, pp. 689–696.
31:
32: \bibitem[La]{La} P.-J. Laurent,
33: \emph{ Approximation et optimisation}, Hermann, Paris, 1972. The
34: russian translation by Mir, 1975
35:
36:
37: \bibitem[Lo]{Lo} R.J.\ Lohner, {\em Computation of Guaranteed Enclosures for the Solutions
38: of Ordinary Initial and Boundary Value Problems\/}, in: Computational Ordinary Differential Equations,
39: J.R.\ Cash, I.\ Gladwell Eds., Clarendon Press, Oxford, 1992.
40:
41: \bibitem[Lo1]{Lo1} R.J.\ Lohner, {\em Einschliessung der L\"osung gewonhnlicher Anfangs- and
42: Randwertaufgaben und Anwendungen \/}, Universit\"at Karlsruhe
43: (TH), these 1988
44:
45: \bibitem[L]{L} S. M. Lozinskii, Error esitimates for the numerical integration of ordinary
46: differential equations, part I, {\em Izv. Vyss. Uceb. Zaved.
47: Matematica},6 (1958), 52--90 (Russian)
48:
49: \bibitem[Mo]{Mo} R.E. Moore, {\em Interval Analysis.} Prentice
50: Hall, Englewood Cliffs, N.J., 1966
51:
52: \bibitem[MZ]{MZ} M.\ Mrozek, P.\ Zgliczy\'nski,
53: Set arithmetic and the enclosing problem in dynamics, {\em
54: Annales Pol. Math.}, 2000, 237--259
55:
56: \bibitem[R]{R} O. E. R\"ossler, An equation for continous chaos,
57: {\em Phys. Lett.}, 57A, 397-398, (1976)
58:
59: \bibitem[Ru]{Ru} W. Rudin, {\em Real and Complex Analysis.} Mc Graw-Hill, 1974
60:
61:
62: \bibitem[Se]{Se} S. Sedziwy, private communication
63:
64: \bibitem[So]{So} G. S\"oderlind, { The logarithmic norm. History and modern theory},
65: \emph{BIT Numerical Mathematics}(2003) 46, 631--652
66:
67: \bibitem[Sz]{Sz} D. Szolnoki, {\em Set oriented methods for computing reachable sets and control sets}, Discrete Contin. Dyn. Syst. Ser. B 3 (3) (2003) 361-382.
68:
69:
70: \bibitem[W]{W} W. Walter, {\em Differential and integral
71: inequalities,} Springer-Verlag Berlin Heidelberg New York, 1970
72:
73: \bibitem[WZ]{WZ} D. Wilczak and P. Zgliczy\'nski, { Heteroclinic Connections between Periodic Orbits in
74: Planar Restricted Circular Three Body Problem - A Computer
75: Assisted Proof}, {\em Comm. Math. Phys.} 234 (2003) 1, 37-75
76:
77: \bibitem[WjZ]{WjZ} K. W\'ojcik, P. Zgliczy\'nski, { Topological horseshoes and delay differential equations},
78: \emph{ Discrete Cont. Dyn. Sys. A}, 12 (2005), 827--852
79:
80: \bibitem[ZM]{ZM} P.\ Zgliczy\'nski and K.\ Mischaikow, Rigorous Numerics for Partial
81: Differential Equations: the Kuramoto-Sivashinsky equation.
82: {\em Foundations of Computational Mathematics,} (2001) 1:255-288
83:
84:
85: \bibitem[Z1]{ZC1Lo} P. Zgliczy\'nski, $C^1$-Lohner algorithm,
86: {\em Foundations of Computational Mathematics,} (2002) 2:429--465,
87:
88:
89: \bibitem[Z2]{ZKSper} P. Zgliczy\'nski, Rigorous numerics for dissipative Partial Differential
90: Equations II. Periodic orbit for the Kuramoto-Sivashinsky PDE - a computer assisted proof,
91: {\em Foundations of Computational Mathematics,} 4
92: (2004), 157--185
93:
94: \bibitem[Z3]{ZHRo} P. Zgliczy\'nski, Computer assisted proof of chaos
95: in the H\'enon map and in the R\"ossler equations
96: {\em Nonlinearity},1997, Vol. 10, No. 1, 243--252
97:
98: \bibitem[Z4]{ZKS3} P. Zgliczy\'nski, Rigorous Numerics for Dissipative PDEs III. An effective
99: algorithm for rigorous computation of trajectories and Poincar\'e
100: maps, \emph{http://www.ii/uj.edu.pl/\~{}zgliczyn}
101:
102:
103:
104: \end{thebibliography}
105: