Znaleziono 10 projektów spełniających kryteria wyszukiwania:
Empiryczne źródła wiedzy matematycznej
Konkurs: OPUS 1 , panel: HS1
Kierownik: prof. Krzysztof Wójtowicz
Uniwersytet Warszawski, Wydział Filozofii i Socjologii
Konkurs: OPUS 1 , panel: ST1
Kierownik: prof. Piotr Koszmider
Instytut Matematyczny Polskiej Akademii Nauk
Konkurs: OPUS 2 , panel: ST1
Kierownik: prof. Piotr Zgliczyński
Wyższa Szkoła Biznesu - National-Louis University z siedzibą w Nowym Sączu, Wydział Nauk Społecznych i Informatyki
Między teorią dowodu, matematyką odwrotną i teorią modeli arytmetyki
Konkurs: OPUS 25 , panel: ST1
Kierownik: dr hab. Leszek Kołodziejczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Wybrane zagadnienia w zastosowaniach teorii mnogości w analizie funkcjonalnej
Konkurs: PRELUDIUM 20 , panel: ST1
Kierownik: Damian Głodkowski
Instytut Matematyczny Polskiej Akademii Nauk
Konkurs: OPUS 21 , panel: ST1
Kierownik: dr hab. Maciej Capiński
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Matematyki Stosowanej
Konkurs: OPUS 19 , panel: ST1
Kierownik: prof. Witold Marciszewski
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Topologiczne dowody dyfuzji w układach dynamicznych
Konkurs: OPUS 15 , panel: ST1
Kierownik: dr hab. Maciej Capiński
Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie, Wydział Matematyki Stosowanej
Dowodliwość, obliczenia i kombinatoryka na niskich i średnich poziomach hierarchii Gödla
Konkurs: OPUS 14 , panel: ST1
Kierownik: dr hab. Leszek Kołodziejczyk
Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki
Metody geometryczne i komputerowo wspierane dowody w dynamice równań różniczkowych cząstkowych
Konkurs: MAESTRO 8 , panel: ST1
Kierownik: prof. Piotr Zgliczyński
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki