Wyszukiwarka projektów

• Słowa kluczowe: dowód wspierany komputerowo ×

Zmień kryteria wyszukiwania ↓

Wyniki wyszukiwania

Znaleziono 6 projektów spełniających kryteria wyszukiwania:

1. 1. Metody geometryczne i komputerowo wspierane dowody w dynamice równań różniczkowych cząstkowych

   Kierownik: prof. Piotr Zgliczyński

   Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

   Konkurs: MAESTRO 8, panel: ST1

2. 2. Ścisła numeryka oraz dowody wspierane komputerowo dla dysypatywnych równań różniczkowych cząstkowych.

   Kierownik: Jacek Cyranka

   Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

   Konkurs: PRELUDIUM 1, panel: ST6

3. 3. Kombinatoryczne powiązania między topologią i dynamiką

   Kierownik: prof. Marian Mrozek

   Uniwersytet Jagielloński

   Konkurs: OPUS 29, panel: ST1

4. 4. Ścisłe metody numeryczne dla równań różniczkowych funkcyjnych

   Kierownik: dr Robert Szczelina

   Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

   Konkurs: OPUS 25, panel: ST6

5. 5. Dyfuzja w problemie n-ciał

   Kierownik: dr hab. Maciej Jerzy Capiński

   Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Matematyki Stosowanej

   Konkurs: OPUS 21, panel: ST1

6. 6. Ścisłe metody numeryczne dla równań cząstkowych dysypatywnych i równań zwyczajnych z opóźnionym argumentem

   Kierownik: prof. Piotr Zgliczyński

   WYŻSZA SZKOŁA BIZNESU - NATIONAL LOUIS UNIVERSITY NOWY SĄCZ

   Konkurs: OPUS 2, panel: ST1