Search results
2 projects found matching your search criteria:
-
1. 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
-
2. 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