Researchers
Stojanović Đurđević, Sana
| Issue Date | Title | Author(s) | Type | М-cat. |
|---|---|---|---|---|
| 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. ;
Marić, Filip
; Malkov, Saša ; Milutinović, Veljko ; Mitić, Nenad ; Mišković, Stefan ; Nikolić, Mladen ; Pavlović Lažetić, Gordana ; Simić, Danijela ; Stojanović, Djurdjević Sana ; Vujičić Stanković, Staša ; Vujošević, Janičić Milena ; Živković, Miodrag; | Article | 22M22 |
| 2019 | From informal to formal proofs in Euclidean geometry (✓) | Stojanović Đurđević, Sana | Article | 22M22 |
| 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 | Article | 22M22 |