1. Research with MATF

Marinković, Vesna

Network Lab View Statistics Email Alert RSS Feed

Profile

Full Name
Marinković, Vesna
Main Affiliation
 
ORCID
 
Scopus Author ID
Loading... 2 0 20 0 false
Loading... 3 0 20 0 false

Publications

Results 1-3 of 3 (Search time: 0.001 seconds).

Issue DateTitleAuthor(s)Rank
130-Dec-2021On Automating Triangle Constructions in Absolute and Hyperbolic GeometryMarinković, Vesna ; Šukilović, Tijana ; Marić, Filip M33
217-Aug-2012Towards understanding triangle construction problemsMarinković, Vesna ; Janičić, Predrag M33
325-Nov-2011A coherent logic based geometry theorem prover capable of producing formal and readable proofsStojanović-Đurđević. Sana ; Pavlović, Vesna ; Janičić, Predrag M33