Login / Signup
Sana Stojanovic Durdevic
ORCID
Publication Activity (10 Years)
Years Active: 2015-2019
Publications (10 Years): 1
Top Topics
Case Study
Automated Theorem Provers
Formal Proofs
Euclidean Geometry
Top Venues
Ann. Math. Artif. Intell.
</>
Publications
</>
Sana Stojanovic Durdevic
From informal to formal proofs in Euclidean geometry.
Ann. Math. Artif. Intell.
85 (2-4) (2019)
Sana Stojanovic Durdevic
,
Julien Narboux
,
Predrag Janicic
Automated generation of machine verifiable and readable proofs: A case study of Tarski's geometry.
Ann. Math. Artif. Intell.
74 (3-4) (2015)