Projects funded by the NCN

Does pain summation follow arithmetic principles?

Call: OPUS 29 , Panel: HS6

Principal investigator: dr hab. Wacław Marceli Adamczyk

Akademia Wychowania Fizycznego im. Jerzego Kukuczki w Katowicach

The gist of math: Applying Fuzzy-Trace Theory as an integrative framework to investigate different dimensions of numeric...

Call: OPUS 28 , Panel: HS6

Principal investigator: dr hab. Mateusz Hohol

Uniwersytet Jagielloński

Reflection principles and their epistemic warrant

Call: OPUS 28 (LAP) , Panel: HS1

Principal investigator: prof. Cezary Wiesław Cieśliński

Uniwersytet Warszawski

Structural complexity measures for foundational theories

Call: WEAVE-UNISONO , Panel: HS1

Principal investigator: dr Mateusz Zbigniew Łełyk

Uniwersytet Warszawski

Involvement of spatial attention in mental processing of numerical information in preschool children - fNIRS and eye tra...

Call: OPUS 27 , Panel: HS6

Principal investigator: dr hab. Maciej Władysław Haman

Uniwersytet Warszawski

Homotopy Theory in Arithmetic Geometry via Condensed Mathematics

Call: SONATA 19 , Panel: ST1

Principal investigator: dr Marcin Wojciech Lara

Instytut Matematyczny Polskiej Akademii Nauk

Logical and Philosophical Aspects of Pluralism and Potentialism in Set-Theory and Arithmetic

Call: OPUS 25 , Panel: HS1

Principal investigator: dr Michał Tomasz Godziszewski

Uniwersytet Łódzki, Wydział Filozoficzno-Historyczny

Rigorous numerical methods for Functional Differential Equations

Call: OPUS 25 , Panel: ST6

Principal investigator: dr Robert Szczelina

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Between proof theory, reverse mathematics, and the model theory of arithmetic

Call: OPUS 25 , Panel: ST1

Principal investigator: dr hab. Leszek Aleksander Kołodziejczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Arithmetic and geometry of fields with operators

Call: OPUS 22 , Panel: ST1

Principal investigator: prof. Piotr Kowalski

Uniwersytet Wrocławski, Wydział Matematyki i Informatyki

Structure of the Selberg class and arithmetic applications of L-functions.

Call: OPUS 21 , Panel: ST1

Principal investigator: prof. Jerzy Sławomir Kaczorowski

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

Arithmetic of differential equations

Call: OPUS 20 , Panel: ST1

Principal investigator: dr hab. Mariia Vlasenko

Instytut Matematyczny Polskiej Akademii Nauk

Arithmetic of Calabi-Yau manifolds

Call: OPUS 20 , Panel: ST1

Principal investigator: prof. Sławomir Cynk

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Arithmetic properties of finite quotients of Calabi-Yau type manifolds

Call: ETIUDA 8 , Panel: ST1

Principal investigator: Dominik Burek

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Arithmetic and geometric approach to asymptotic invariants in algebra and algebraic geometry

Call: OPUS 18 , Panel: ST1

Principal investigator: prof. Tomasz Jacek Szemberg

Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie

Arithmetic properties of special integer sequences, polynomials, and continued fractions

Call: SONATA BIS 9 , Panel: ST1

Principal investigator: dr hab. Maciej Ulas

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

ERGODIC THEORY: JOININGS, EFFECTIVE DISJOINTNESS AND APPLICATIONS

Call: OPUS 17 , Panel: ST1

Principal investigator: prof. Mariusz Tomasz Lemańczyk

Uniwersytet Mikołaja Kopernika, Wydział Matematyki i Informatyki

Provability, computation and combinatorics at the lower and intermediate levels of the Gödel hierarchy

Call: OPUS 14 , Panel: ST1

Principal investigator: dr hab. Leszek Aleksander Kołodziejczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Arithmetic and geometry of parameter spaces of line arrangements

Call: PRELUDIUM 12 , Panel: ST1

Principal investigator: Magdalena Jadwiga Lampa-Baczyńska

Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie

Arithmetic properties of dynamical systems in positive characteristic.

Call: SONATA 12 , Panel: ST1

Principal investigator: dr Jakub Jan Byszewski

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Arithmetic properties of formal groups

Call: OPUS 11 , Panel: ST1

Principal investigator: dr Mariia Vlasenko

Instytut Matematyczny Polskiej Akademii Nauk

Multidimensional Selberg sieve, almost prime k-tuples and primes in arithmetic progressions

Call: PRELUDIUM 11 , Panel: ST1

Principal investigator: dr Paweł Lewulis

Instytut Matematyczny Polskiej Akademii Nauk

Ramsey Theory on the Integres

Call: OPUS 9 , Panel: ST1

Principal investigator: prof. Jarosław Andrzej Grytczuk

Politechnika Warszawska, Wydział Matematyki i Nauk Informacyjnych

Formal theories of truth and nonstandard models of arithmetic

Call: PRELUDIUM 7 , Panel: HS1

Principal investigator: Michał Tomasz Godziszewski

Uniwersytet Warszawski, Wydział Filozofii i Socjologii

ANALYTICAL METHODS IN ARITHMETIC RESEARCH

Call: OPUS 6 , Panel: ST1

Principal investigator: prof. Jerzy Sławomir Kaczorowski

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

ARITHMETIC ALGEBRAIC GEOMETRY

Call: OPUS 5 , Panel: ST1

Principal investigator: prof. Grzegorz Banaszak

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

Induction for bounded formulas and its relativizations

Call: OPUS 5 , Panel: ST1

Principal investigator: dr hab. Leszek Aleksander Kołodziejczyk

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Arithmetic properties of Galois representations and abelian varieties

Call: OPUS 4 , Panel: ST1

Principal investigator: prof. Wojciech Jerzy Gajda

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

Arithmetics of cyclotomic polynomials

Call: SONATA 4 , Panel: ST1

Principal investigator: dr Bartłomiej Bzdęga

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

Algebraic varieties: arithmetic and geometry

Call: OPUS 4 , Panel: ST1

Principal investigator: prof. Adrian Langer

Uniwersytet Warszawski, Wydział Matematyki, Informatyki i Mechaniki

Ergodic theory and its applications in dynamics, arithmetic, and algebra

Call: SONATA BIS 2 , Panel: ST1

Principal investigator: dr hab. Dominik Kwietniak

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Modular forms and ranks of elliptic curves.

Call: PRELUDIUM 3 , Panel: ST1

Principal investigator: dr Bartosz Stanisław Naskręcki

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

Cognitive mechanisms of numeral reference

Call: OPUS 1 , Panel: HS1

Principal investigator: dr hab. Wojciech Sławomir Krysztofiak

Uniwersytet Szczeciński, Wydział Humanistyczny

Automatic synthesis of high-performance constant-coefficient FIR filters based on residue number system arithmetic.

Call: OPUS 1 , Panel: ST7

Principal investigator: dr hab. Janusz Biernat

Politechnika Wrocławska, Wydział Elektroniki