Projects search

• Keywords: dowód wspierany komputerowo ×

Change search criteria ↓

Search results

6 projects found matching your search criteria:

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

   Principal investigator: prof. Piotr Zgliczyński

   Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

   Call: MAESTRO 8, Panel: ST1

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

   Principal investigator: Jacek Cyranka

   Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

   Call: PRELUDIUM 1, Panel: ST6

3. 3. Combinatorial links between topology and dynamics

   Principal investigator: prof. Marian Mrozek

   Uniwersytet Jagielloński

   Call: OPUS 29, Panel: ST1

4. 4. Rigorous numerical methods for Functional Differential Equations

   Principal investigator: dr Robert Szczelina

   Uniwersytet Jagielloński, Wydział Matematyki i Informatyki

   Call: OPUS 25, Panel: ST6

5. 5. Diffusion in the n-body problem

   Principal investigator: dr hab. Maciej Jerzy Capiński

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

   Call: OPUS 21, Panel: ST1

6. 6. Rigorous numerics for dissipative PDEs and delay equations

   Principal investigator: prof. Piotr Zgliczyński

   WYŻSZA SZKOŁA BIZNESU - NATIONAL LOUIS UNIVERSITY NOWY SĄCZ

   Call: OPUS 2, Panel: ST1