Znaleziono 3 projektów spełniających kryteria wyszukiwania:
Oddziaływanie w kwantowej teorii pola
Konkurs: SONATA BIS 9 , panel: ST1
Kierownik: dr hab. Wojciech Jan Dybalski
Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki
Automatyzacja wnioskowania konstruktywnego
Konkurs: OPUS 4 , panel: ST6
Kierownik: dr hab. Aleksy Andrzej Schubert
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Konstruktywne metody znajdowania równowag w dużych gospodarkach
Konkurs: SONATA 4 , panel: HS4
Kierownik: dr Łukasz Balbus
Uniwersytet Zielonogórski, Wydział Matematyki, Informatyki i Ekonometrii