Projects funded by the NCN

Groups definable in valued fields, definable Kneser-Tits problem and metastable theories

Call: SONATA 7 , Panel: ST1

Principal investigator: dr Jakub Gismatullin

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Analysis of logical and mathematical assumptions in Piero della Francesca's treatises

Call: OPUS 4 , Panel: HS1

Principal investigator: dr hab. Ryszard Romuald Mirek

Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie, Wydział Humanistyczny

New Logical-Mathematical Methods in Applied Sciences and Modelling of Decision Making

Call: OPUS 4 , Panel: HS1

Principal investigator: prof. Jan Hertrich-Woleński

Wyższa Szkoła Informatyki i Zarządzania z siedzibą w Rzeszowie, Wydział Administracji i Nauk Społecznych

Geometry of contractible low-dimensional affine varieties.

Call: SONATA 3 , Panel: ST1

Principal investigator: dr Karol Andrzej Palka

Instytut Matematyczny Polskiej Akademii Nauk

Logarithmic properties of both A-partition and A-composition functions

Call: PRELUDIUM 23 , Panel: ST1

Principal investigator: Krystian Gajdzica

Uniwersytet Jagielloński

Continuous logic and its algebraic applications

Call: OPUS 1 , Panel: ST1

Principal investigator: prof. Aleksander Iwanow

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Mathematicized Scientific Theories and The Foundations of Applied Mathematics

Call: OPUS 20 , Panel: HS1

Principal investigator: dr Jeffrey John Ketland

Uniwersytet Warszawski, Wydział Filozofii

Log-concave Measures and Geometry of Convex Bodies

Call: PRELUDIUM 1 , Panel: ST1

Principal investigator: Piotr Nayar

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Deformations and degenerations of algebraic varieties

Call: SONATA 13 , Panel: ST1

Principal investigator: dr Piotr Achinger

Instytut Matematyczny Polskiej Akademii Nauk

Data-driven tests for censored data

Call: OPUS 13 , Panel: ST1

Principal investigator: dr Grzegorz Wyłupek

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Correlation inequalities for point processes

Call: OPUS 10 , Panel: ST1

Principal investigator: prof. Ryszard Jacek Szekli

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Isabelle Emulator for Mizar: Environment for Mizar Mathematical Library Reverificationa

Call: SONATA 10 , Panel: ST6

Principal investigator: dr Karol Pąk

Uniwersytet w Białymstoku, Instytut Informatyki

Inequalities for log-concave vectors

Call: PRELUDIUM 10 , Panel: ST1

Principal investigator: Marta Strzelecka

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Modern methods in complex affine geometry.

Call: SONATA BIS 5 , Panel: ST1

Principal investigator: dr Karol Andrzej Palka

Instytut Matematyczny Polskiej Akademii Nauk