Projekty finansowane przez NCN

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

Dyfuzja w problemie n-ciał

Konkurs: OPUS 21 , panel: ST1

Kierownik: dr hab. Maciej Jerzy Capiński

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

Metody teoriomnogościowe w topologii analitycznej: od zbieżności punktowej i przestrzeni Banacha do algebr operatorowych...

Konkurs: OPUS 19 , panel: ST1

Kierownik: prof. Witold Michał 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

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

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

Empiryczne źródła wiedzy matematycznej

Konkurs: OPUS 1 , panel: HS1

Kierownik: prof. Krzysztof Wójtowicz

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

Zastosowania kombinatoryki nieskończonej i topologii analitycznej w przestrzeniach Banacha i w związanych z nimi struktu...

Konkurs: OPUS 1 , panel: ST1

Kierownik: prof. Piotr Koszmider

Instytut Matematyczny Polskiej Akademii Nauk