Browse by mentor
Now showing items 1-4 of 4
-
Formalni sistemi za dokazivanje teorema incidencije / Formal systems for proving incidence results
(Универзитет у Новом Саду, Факултет техничких наука, 28-10-2020) -
Бипроизводи у моноидалним категоријама / Biproducts in monoidal categories
(Универзитет у Београду, Математички факултет, 08-04-2022) -
Кохеренција и прости политопи / Coherence and simple polytopes
(Универзитет у Београду, Математички факултет, 30-09-2020) -
Фробенијусове алгебре и тополошке квантне теорије поља / Frobenius algebras and topological quantum field theories
(Универзитет у Београду, Математички факултет, 26-09-2022)