Wyniki wyszukiwania
Znaleziono 7 projektów spełniających kryteria wyszukiwania:
-
1. Problemy spełnialności i równoważności dla skończonych algebr
Kierownik: dr Jacek Krzaczkowski
Uniwersytet Marii Curie-Skłodowskiej w Lublinie, Wydział Matematyki, Fizyki i Informatyki
Konkurs: OPUS 23, panel: ST6
-
2. Lightcone Normality of Infravacuum States
Kierownik: Bartosz Biadasiewicz
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki
Konkurs: PRELUDIUM 20, panel: ST1
-
3. Geometryczne i homologiczne problemy teorii reprezentacji algebr
Kierownik: prof. Grzegorz Andrzej Bobiński
Uniwersytet Mikołaja Kopernika, Wydział Matematyki i Informatyki
Konkurs: OPUS 19, panel: ST1
-
4. Problemy klasyfikacji w dynamice topologicznej i teorii ergodycznej
Kierownik: dr hab. Dominik Kwietniak
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Konkurs: PRELUDIUM BIS 1, panel: ST1
-
5. Polonizowalność analitycznych relacji równoważności i uogólniona analiza Scotta
Kierownik: Mateusz Lichman
Politechnika Łódzka
Konkurs: PRELUDIUM 24, panel: ST1
-
6. Granice automatycznej weryfikacji: nowe metody analizy systemów nieskończenie stanowych
Kierownik: dr hab. Sławomir Grzegorz Lasota
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konkurs: OPUS 5, panel: ST6
-
7. Geometria układów Pfaffa i zastosowania w teorii równań różniczkowych oraz teorii sterowania
Kierownik: dr Wojciech Kryński
Instytut Matematyczny Polskiej Akademii Nauk
Konkurs: SONATA 2, panel: ST1