56 projects found matching your search criteria :
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
Non-standard parabolic problems in description of biological processes
Call: OPUS 11 , Panel: ST1
Principal investigator: prof. Bogdan Andrzej Kaźmierczak
Instytut Podstawowych Problemów Techniki Polska Akademia Nauk
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
Toric ideals associated to matroids, groups, trees, and other combinatorial problems
Call: SONATA 10 , Panel: ST1
Principal investigator: dr Michał Lasoń
Instytut Matematyczny Polskiej Akademii Nauk
Coloring geometric intersection graphs and related problems
Call: SONATA 9 , Panel: ST1
Principal investigator: dr hab. Bartosz Maria Walczak
Uniwersytet Jagielloński, Wydział Matematyki i Informatyki
Exit problems and extremes of stochastic processes in view towards stochastic modelling
Call: OPUS 9 , Panel: ST1
Principal investigator: prof. Krzysztof Grzegorz Dębicki
Uniwersytet Wrocławski, Wydział Matematyki i Informatyki