W roku akad. 2002/2003 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 215.
03,10,17.10.2002 - Piotr Zgliczyński: Verified Integration of ODEs and Flows Using Differential Algebraic Methods on High-Order Taylor Models - wg M. Berza i K. Makino, Relable Computing 4: 361-369, 1998
24.10.2002 - Monika Mielnikiewicz: Początek chaosu w równaniach różniczkowych - na podstawie pracy Jacka K. Hale i Natalii Sternberg Onset of Chaos in Differential Delay Equations
07.11.2002 - Piotr Zgliczyński: Jak w sposób ścisły całkować dysypatywne równiania różniczkowe cząstkowe
14,21.11.2002 - Maciej Capiński: Metoda Melnikova
28.11;05.12.2002 - Marcin Kulczycki: Zabronione słowa w dynamice symbolicznej
12,19.12.2002 - Paweł Wilczyński: Numerical analysis and control of bifurcation problems - na podstawie pracy E. Doedel, H.B. Keller, J.P. Kernevez
09.01.2003 - Paweł Pilarczyk: Algorytm obliczania odwzorowań indukowanych w homologiach
16,23.01.2003 - Roman Adam: Global and local complexity in weakly chaotic dynamical systems - na podstawie pracy S. Galato
20.02.2003 - Tomasz Kapela: Ciekawe trajektorie okresowe w problemie trzech ciał - dowody wspierane komputerowo (zob. link do pracy)
27.02.2003 - Wawrick Tucker: Robust normal forms for analytic vector fields (zob. link do pracy)
06.03.2003 - Piotr Zgliczyński: Śledzenie pseudoorbit w ograniczonym problemie trzech ciał - wg Stoffera i Kirchgrabera
13.03.2003 - Barbara Foryś: Bioinformatyka - na podstawie R. Durbin, S. Eddy, A. Krogh, G. Mitchison, Biological sequence analysis
20,27.03.2003 - Michał Stachańczyk: Algorytmy segmentacji i rozpoznawania obrazów na podstawie kodowania fraktalnego
03.04.2003 - Piotr Oprocha: Algorithmic Chaos - na podstawie pracy Paul M.B. Vitanyi
10,24.04.2003 - Monika Mielnikiewicz: Dyskretna teoria Morse'a - na podstawie pracy Robin Forman, A user's guide to discrete Morse theory
08.05.2003 - Michał Sajdak: Weak equivalence between of shifts of finite type
15.05.2003 - Jarosław Duda: Metoda Lindtsteada Poincare dla orbit okresowych
22,29.05.2003 - Ela Zakrzewska: Runge-Kutta Methods, Trees and Mathematica - na podstawie pracy Folkmar Bornemann
Niniejsza strona WWW była prowadzona przez Macieja Capińskiego.