1:
2: \begin{thebibliography}{99}
3:
4: \bibitem{A} {\sc G. Arioli}, {\it Periodic orbits, symbolic dynamics and topological entropy
5: for the restricted 3-body problem,} {\em Comm. Math. Phys.},
6: {\em http://www.mfn.unipmn.it/\~{}gianni/}
7:
8:
9: \bibitem{AZ} {\sc G. Arioli and P. Zgliczy\'nski}, {\it Symbolic dynamics
10: for the Henon-Heiles Hamiltonian on the critical level}, {\em J.
11: Diff. Eq}, 171, 173--202 (2001)
12:
13:
14: \bibitem{C} CAPD - Computer assisted proofs in dynamics, a package for rigorous numerics,
15: {\em http://limba.ii.uj.edu.pl/\~{}capd}
16:
17: \bibitem{DG} {\sc J. Dugundji and A. Granas}, {\em Fixed Point Theory
18: \/}, Monografie Matematyczne 61, PWN, Warszawa 1982
19:
20: \bibitem{GZ0}{\sc Z. Galias , P. Zgliczy\'nski}, {\it Computer assisted proof of
21: chaos in the Lorenz system,} {\em Physica D}, 115, 1998,165--188
22:
23: \bibitem{GZ} {\sc Z. Galias and P. Zgliczy\'nski}, {\it Abundance of homoclinic and heteroclinic orbits and
24: rigorous bounds for the topological entropy for the H\'enon map},
25: {\em Nonlinearity}, 14 (2001) 909--932
26:
27: \bibitem{GiZ} {\sc M. Gidea and P. Zgliczy\'nski }, {\it Covering relations for multidimensional
28: dynamical systems}, submitted, {\em http://www.im.uj.edu.pl/\~{}zgliczyn}
29:
30: \bibitem{GKLMMR} {\sc G. Gomez, W. S. Koon, M. W. Lo, J. E. Marsden, J. Masdemont and
31: S. D. Ross}, {\it Invariant manifolds, the spatial three-body
32: problem and space mission design }, preprint
33:
34:
35: \bibitem{GH} J. Guckenheimer, P. Holmes
36: {\em Nonlinear Oscillations, Dynamical Systems, and Bifurcations
37: of Vector Fields } Springer-Verlag, New York-Heidelberg-Berlin,
38:
39:
40:
41:
42: \bibitem{IE}{\it The IEEE Standard for Binary Floating-Point
43: Arithmetics}, {\rm ANSI-IEEE Std 754, 1985.}
44:
45: \bibitem{KLMR} {\sc W. S. Koon, M. W. Lo, J. E. Marsden and S. D. Ross}, {\it Heteroclinic Connections between
46: Periodic Orbits and Resonance Transitions in Celestial Mechanics},
47: Chaos, 10(2000), no. 2, 427--469
48:
49: \bibitem{LMS} {\sc J. Llibre, R. Martinez and C. Sim\'o}, {\em Transversality of the Invariant
50: Manifolds Associated to the Lyapunov Family of Periodic Orbits near $L_2$ in
51: the Restricted Three-Body Problem,} J. Diff. Eq. 58,
52: 104--156 (1985)
53:
54: \bibitem{LR} {\sc M. Lo and S. Ross}, {\em SURFing the Solar System: Invariant Manifolds
55: and the Dynamics of the Solar Systems}, JPL IOM 312/97, 2--4
56:
57: \bibitem {Lo} {\sc R.J.\ Lohner}, {\em Computation of Guaranteed Enclosures for the Solutions
58: of Ordinary Initial and Boundary Value Problems\/}, in: Computational Ordinary Differential Equations,
59: J.R.\ Cash, I.\ Gladwell Eds., Clarendon Press, Oxford, 1992.
60:
61: \bibitem{MS} {\sc K. Meyer and D. Schmidt}, {\it From the restricted to the full three-body
62: problem}, {\em Trans. AMS}, 5 (2000), 2283--2299
63:
64:
65: \bibitem{M} {\sc J. Moser}, {\em On the generalization of a theorem of
66: Liapunov}, Comm. Pure Appl. Math., 11 (1958), 257--271
67:
68:
69:
70: \bibitem{MZ} {\sc M. Mrozek and P. Zgliczynski}, {\em Set arithmetic and the enclosing problem in dynamics},
71: { Annales Pol. Math.}, LXXIV (2000), 237--259
72:
73: \bibitem{W} {\sc D. Wilczak}, {\em http://www.wsb-nlu.edu.pl/\~{}dwilczak}
74:
75: \bibitem{WZ} {\sc K. W\'ojcik and P. Zgliczy\'nski}, {\em How to show an existence
76: of homoclinic trajectories using topological tools ? }, in:
77: Proceedings of Equadiff'99, 246--248, Editors: B. Fiedler, K. Gr\"oger, J. Sprekels.
78: 2000, World Scientific, Singapore, New Jersey, London, Hong-Kong
79:
80: \bibitem{Z0} {\sc P. Zgliczy\'nski}, {\it Fixed point index for iterations of maps, topological
81: horseshoe and chaos}, {\rm Topological Methods in Nonlinear Analysis} {\bf 8}, (1996), 169--177
82:
83: \bibitem{Z1} {\sc P. Zgliczy\'nski}, {\it Sharkovskii's Theorem for
84: multidimensional perturbations of 1-dim maps}, {\rm Ergodic Theory
85: and Dynamical Systems}, (1999), 19, 1655--1684
86:
87: \bibitem{Z2} {\sc P. Zgliczy\'nski}, {\it Computer assisted proof of
88: chaos in the R\"ossler equations and the H\'enon map}. {\rm
89: Nonlinearity {\bf 10} (1997), 243-252.}
90:
91: \bibitem{Z3} {\sc P. Zgliczy\'nski}, {\it $\mathcal{C}^1$-Lohner
92: algorithm.}, {\em Foundations of Computational Mathematics}, {\em
93: http://www.im.uj.edu.pl/\~{}zgliczyn}
94:
95: \bibitem{Z4} {\sc P. Zgliczy\'nski}, {\it On periodic points for systems of weakly
96: coupled 1-dim maps}, {\rm Nonlinear Analysis. TMA}, (2001), {\bf 46/7}, 1039-1062
97:
98: \end{thebibliography}
99: