Sana Stojanović Đurđević

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Towards automated proving in solid geometry Annals of Mathematics and Artificial Intelligence	2026-01-19	Paper
From informal to formal proofs in Euclidean geometry Annals of Mathematics and Artificial Intelligence	2019-05-16	Paper
Automated generation of machine verifiable and readable proofs: a case study of Tarski's geometry Annals of Mathematics and Artificial Intelligence	2015-07-27	Paper

Research outcomes over time

This page was built for person: Sana Stojanović Đurđević