Projects funded by the NCN

Developmental change in number representation system during the process of acquisition of the symbolic numerical codes (...

Call: OPUS 7 , Panel: HS6

Principal investigator: dr hab. Maciej Haman

Uniwersytet Warszawski, Wydział Psychologii

Rigorous numerics and computer assisted proofs for dissipative partial differential equations.

Call: PRELUDIUM 1 , Panel: ST6

Principal investigator: Jacek Cyranka

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Rigorous numerics for dissipative PDEs and delay equations

Call: OPUS 2 , Panel: ST1

Principal investigator: prof. Piotr Zgliczyński

Wyższa Szkoła Biznesu - National-Louis University z siedzibą w Nowym Sączu, Wydział Nauk Społecznych i Informatyki

Geometric methods and rigorous numerics in the n-body problem

Call: OPUS 18 , Panel: ST1

Principal investigator: prof. Piotr Zgliczyński

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Challenges to automated reasoning in decidable fragments of first-order logic: trees, orders and numerals

Call: OPUS 16 , Panel: ST6

Principal investigator: dr hab. Lidia Tendera

Uniwersytet Opolski, Wydział Matematyki, Fizyki i Informatyki

The role of multiple numeric competencies in improving decision making.

Call: SONATA 14 , Panel: HS6

Principal investigator: dr hab. Agata Sobków

Uniwersytet SWPS, Wydział Psychologii we Wrocławiu

Geometric methods and computer assisted proofs in dynamics of partial diffential equations

Call: MAESTRO 8 , Panel: ST1

Principal investigator: prof. Piotr Zgliczyński

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Geometric methods and rigorous numerics in Hamiltonian dynamics

Call: OPUS 10 , Panel: ST1

Principal investigator: prof. Piotr Zgliczyński

Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

Cognitive mechanisms of numeral reference

Call: OPUS 1 , Panel: HS1

Principal investigator: dr hab. Wojciech Krysztofiak

Uniwersytet Szczeciński, Wydział Humanistyczny

The influence of differential rotation on the properties of strange quark stars

Call: PRELUDIUM 9 , Panel: ST9

Principal investigator: Magdalena Szkudlarek

Uniwersytet Zielonogórski, Wydział Fizyki i Astronomii