Projects funded by the NCN


Information on the principal investigator and host institution

Information of the project and the call

Keywords

Equipment

Delete all

Search results

56 projects found matching your search criteria :

  1. 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

  2. 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

  3. 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

  4. 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

  5. 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

  6. 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