Istraživači
Stojanović Đurđević, Sana
Tip
Godina | Naslov | Autor(i) | Tip rezultata | Mp-kat. |
---|---|---|---|---|
2019 | From informal to formal proofs in Euclidean geometry (✓) | Stojanović Đurđević, Sana ![]() ![]() | Naučni članak | 22M22 - Rad u istaknutom međ. časopisu |
2016 | Automatsko proveravanje neformalnih dokaza teorema srednjoškolske geometrije (✓) | Stojanović Đurđević, Sana ![]() ![]() | Naučni članak | 52M52 - Rad u istaknutom nac. časopisu |
2015 | Automated generation of machine verifiable and readable proofs: A case study of Tarski’s geometry (✓) | Ðurđević, Sana Stojanović ![]() ![]() ![]() ![]() | Naučni članak | 22M22 - Rad u istaknutom međ. časopisu |
2014 | A Vernacular for Coherent Logic (✓) | Stojanović Đurđević, Sana ![]() ![]() ![]() ![]() | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
2013 | Preprocessing of the Axiomatic System for More Efficient Automated Proving and Shorter Proofs (✓) | Stojanović Đurđević, Sana ![]() ![]() | Konferencijski rad | Mp kategorija će biti prikazana naknadno. |
2011 | A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs (✓) | Stojanović Đurđević, Sana ![]() ![]() ![]() ![]() ![]() ![]() | Naučni članak | Mp kategorija će biti prikazana naknadno. |