Истраживачи
Stojanović Đurđević, Sana
Тип
Година
Година | Наслов | Аутор(и) | Тип резултата | Мп-кат. |
---|---|---|---|---|
2020 | Teaching graduate students how to review research articles and respond to reviewer comments (✓) | Banković, Milan ; Filipović, Vladimir ; Graovac, Jelena ; Hadži-Purić, Jelena; Hurson, Ali R.; Kartelj, Aleksandar ; Kovačević, Jovana ; Korolija, Nenad ; Kotlar, Miloš; Krdžavac, Nenad B. ; | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
2019 | From informal to formal proofs in Euclidean geometry (✓) | Stojanović Đurđević, Sana | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
2016 | Automatsko proveravanje neformalnih dokaza teorema srednjoškolske geometrije (✓) | Stojanović Đurđević, Sana | Научни чланак | 52M52 - Рад у истакнутом нац. часопису |
2015 | Automated generation of machine verifiable and readable proofs: A case study of Tarski’s geometry (✓) | Ðurđević, Sana Stojanović ; Narboux, Julien; Janičić, Predrag | Научни чланак | 22M22 - Рад у истакнутом међ. часопису |
2014 | A Vernacular for Coherent Logic (✓) | Stojanović Đurđević, Sana ; Narboux, Julien; Bezem, Marc; Janičić, Predrag | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2013 | Preprocessing of the Axiomatic System for More Efficient Automated Proving and Shorter Proofs (✓) | Stojanović Đurđević, Sana | Конференцијски рад | Мп категорија ће бити приказана накнадно. |
2011 | A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs (✓) | Stojanović Đurđević, Sana ; Marinković, Vesna ; Janičić, Predrag | Научни чланак | Мп категорија ће бити приказана накнадно. |