Projekty finansowane przez NCN

Głębokie sieci neuronowe w automatycznym dowodzeniu twierdzeń

Konkurs: PRELUDIUM 15 , panel: ST6

Kierownik: Bartosz Piotrowski

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

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

Dystrybutywne systemy dedukcyjne dla logiki klasycznej i pewnych logik nieklasycznych. Teoria dowodu wspomagana wybranym...

Konkurs: SONATA BIS 7 , panel: HS1

Kierownik: dr hab. Dorota Leszczyńska-Jasion

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Psychologii i Kognitywistyki

Konstruktywna aproksymacja na zbiorach algebraicznych

Konkurs: OPUS 13 , panel: ST1

Kierownik: dr hab. Leokadia Białas-Cież

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Dowód istnienia równowagi ekonomicznej w prostym modelu wymiany bez wykorzystania twierdzenia Brouwera o punkcie stałym....

Konkurs: OPUS 1 , panel: HS4

Kierownik: dr Piotr Maćkowiak

Uniwersytet Ekonomiczny w Poznaniu, Wydział Informatyki i Gospodarki Elektronicznej

Arytmetyczne własności układów dynamicznych w dodatniej charakterystyce.

Konkurs: SONATA 12 , panel: ST1

Kierownik: dr Jakub Byszewski

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Całkowicie dodatnia ewolucja kwantowych układów otwartych z periodyczną modulacją

Konkurs: SONATA 12 , panel: ST1

Kierownik: dr Krzysztof Szczygielski

Uniwersytet Gdański, Wydział Matematyki, Fizyki i Informatyki

Operatory maksymalne

Konkurs: PRELUDIUM 11 , panel: ST1

Kierownik: dr Dariusz Kosz

Politechnika Wrocławska

Czy władcy meroiccy byli budowniczymi twierdz? Budowle obronne a zmiany polityczne w Górnej Nubii w okresie upadku Meroe...

Konkurs: SONATA 11 , panel: HS3

Kierownik: dr Mariusz Drzewiecki

Instytut Kultur Śródziemnomorskich i Orientalnych Polskiej Akademii Nauk

NIEZMIENNIKI I METODY TOPOLOGII STOSOWANEJ

Konkurs: OPUS 10 , panel: ST1

Kierownik: prof. Wacław Marzantowicz

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Matematyki i Informatyki

Uporządkowane zmienne losowe stosowane w statystyce i teorii niezawodności

Konkurs: OPUS 10 , panel: ST1

Kierownik: prof. Tomasz Rychlik

Instytut Matematyczny Polskiej Akademii Nauk

Dyskretna analiza harmoniczna

Konkurs: OPUS 10 , panel: ST1

Kierownik: dr Mariusz Mirek

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Zastosowania logiki z funcjami częściowymi

Konkurs: OPUS 9 , panel: ST6

Kierownik: dr hab. Jean de Nivelle

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Aksjomaty ekstremalne: aspekty logiczne, matematyczne i kognitywne

Konkurs: OPUS 9 , panel: HS1

Kierownik: prof. Jerzy Pogonowski

Uniwersytet im. Adama Mickiewicza w Poznaniu, Wydział Psychologii i Kognitywistyki

Charakter i funkcjonowanie hellenistycznego Berenike, ośrodka portowego nad Morzem Czerwonym, oraz jego ewolucja od bazy...

Konkurs: PRELUDIUM 9 , panel: HS3

Kierownik: Marek Woźniak

Uniwersytet Warszawski, Centrum Archeologii Śródziemnomorskiej im. prof. Kazimierza Michałowskiego

Wybrane zagadnienia z analizy wielu zmiennych zespolonych

Konkurs: OPUS 9 , panel: ST1

Kierownik: prof. Włodzimierz Zwonek

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki