W roku akad. 2003/2004 seminarium było prowadzone przez prof. Mariana Mrozka, dra hab. Wita Forysia oraz Piotra Zgliczyńskiego. Spotkania odbywały się w czwartki w godz. 16:15-17:45 w Instytucie Informatyki UJ w sali nr 221.
02.10.2003 - Daniel Wilczak: Yun-Tung Lau: The 'cocoon' bifurcations in three-dimensional systems with two fixed points, International Journal of Bifurcation and Chaos, Vol. 2, No. 3, (1992) 543-558.
09.10.2003 - Anna Urbańska: Wpływ efektu pakowania na zakres błędu
16.10.2003 - Paweł Wilczyński: Symplektyczne metody numeryczne równań różniczkowych (zob. link do książki) - Numerical Geometric Integration - Chapter IV
23.10.2003 - Paweł Pilarczyk: Algorytm konstrukcji kostkowych par indeksowych
30.10.2003 - Zbigniew Galias: Strategia szukania ciekawych zbiorów niezmienniczych
06.11.2003 - Jarosław Duda: "Backward Error Analysis" wg prac Hairera
13.11.2003 - Kinga Stolot: "Numerical Shadowing" na podst. książki: Ken Palmer: Shadowing in Dynamical Systems, Kluwer Academic Publish., 2000
20.11.2003 - Michał Sajdak: "Symbolic Dynamics and Connections to Coding Theory, Automata Theory and System Theory" na podstawie pracy Briana Marcusa
27.11.2003 - Piotr Oprocha: Wybrane własności shiftów funkcyjnych
04.12.2003 - Piotr Kościelniak: Typowe własności homeomorfizmów
11.12.2003 - Daniel Wilczak: Symetryczne orbity okresowe w układach z symetrią odwrócenia w czasie
18.12.2003 - Tomasz Kapela: Ciekawe orbity okresowe w problemie trzech ciał
08.01.2003 - Piotr Zgliczyński: O ścisłym całkowaniu równań różniczkowych i o paru problemach z tym związanych
15.01.2003 - Jarosław Karpiak: J.G. Dumas, B.D. Saunders, G. Villard: Integer Smith form via the valence: experience with large sparse matrices from homology
22.01.2003 - Mikołaj Zalewski: O entropii topologicznej
19.02.2003 - Tomasz Kapela: Układy ze sterowaniem (ang. control systems)
26.02;04.03.2004 - Maciej Capiński: Dyfuzja Arnolda w eliptycznym problemie trzech ciał - na podstawie pracy: Zhihong Xia. Arnold Diffusion in the Elliptic Restricted Three-Body Problem. Journal of Dynamics and Differential Equations Vol. 5, No. 2, 1993
11.03.2004 - Anna Danielewska: Oszacowania rozwiązań dysypatywnych równań różniczkowych - na podst. pracy: Arnold Neumeier: Global, rigorous and realistic bounds for the solution of dissipative differential equations, Computing 52 (1994), no. 4, 315-336
18.03.2004 - Marian Mrozek: Metody sekcji topologicznych w ścisłej dynamice obliczeniowej
25.03.2004 - Leszek Pieniążek: Segmenty i łańcuchy izolujące
01.04.2004 - Paweł Pilarczyk: Topologiczna charakteryzacja chaosu czasoprzestrzennego - na podstawie pracy: M. Gameiro, W. Kalies, K. Mischaikow: Topological characterization of spatial-temporal chaos (August 2003)
15.04.2004 - Dominik Kwietniak: Komputerowo wspierane dowody dla równania konwekcji - na podstawie prac: Y. Watanabe, N. Yamamoto, M.T. Nakao, T. Nishida: A numerical verification of nontrivial solutions for the heat convection problem, J.Math.Fluid Mech. 6 (2004), 1-20; M. Nakao, Y. Watanabe, N. Yamamoto, T. Nishida: Some computer assisted proofs for solutions of the heat convection problems, Reliable Computing 9 (2003), 359-372; M.T. Nakao, N. Yamamoto, Y. Watanabe: Constructive L2 error estimates for finite element solutions of the Stokes equation, Reliable Computing 4 (1998), 115-124
22.04.2004 - Jarosław Duda: Thomas Gedeon, David Arathorn: Convergence of map seeking circuits
29.04.2004 - Piotr Oprocha: Shadowing w shiftach wielowymiarowych
06.05.2004 - Grzegorz Wielopolski: Rob Ghrist: Finding topology in a factory
13.05.2004 - Jarosław Karpiak: S. Day, O. Junge, K. Mischaikow: A rigorous numerical method for the global analysis of infinite dimensional dynamical systems
20.05.2004 - Natalia Zaremba (Wydział Matematyki i Informatyki UMK w Toruniu): Algorytm Franka Stegnera obliczania stopnia topologicznego Brouwera
27.05.2004 - Zenon Kulpa (IPPT PAN w Warszawie): Diagramowa notacja dla algebry przedziałów
03.06.2004 - Wojciech Łyskawa: O. Junge, M. Osinga: A set oriented approach to global optimal control
Niniejsza strona WWW była prowadzona do końca listopada 2003 r. przez Macieja Capińskiego, a potem przez Pawła Pilarczyka.