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

Bibliometrics

Total Citations
SCOPUSTM

74
checked on Feb 15, 2026

Works indexed in
SCOPUSTM

14
checked on Feb 15, 2026

Publications

Results 21-30 of 30 (Search time: 0.002 seconds).

Issue DateTitleAuthor(s)Rank
212017Рачунарство и информатика 4 : уџбеник за четврти разред гимназијеMarić, Filip ; Marinković, Vesna 
221-Mar-2016Constructibility Classes for Triangle Location ProblemsSchreck, Pascal; Marinković, Vesna ; Janičić, Predrag 
232016Portfolio Methods in Theorem Proving for Elementary GeometryMarinković, Vesna ; Nikolić, Mladen ; Zoltan Kovacs; Janičić, Predrag M33
242016Wernick's List: A Final UpdateJaničić, Predrag ; Marinković, Vesna ; Schreck, Pascal; Mathis, Pascal
251-Jan-2015Computer theorem proving for verifiable solving of geometric construction problemsMarinković, Vesna ; Janičić, Predrag ; Schreck, PascalM33
262015Аутоматско решавање конструктивних проблема у геометријиMarinković, Vesna M70
272015On-line compendium of triangle construction problems with automatically generated solutionsMarinković, Vesna 
282015Proof Simplification in the Framework of Coherent LogicMarinković, Vesna M23
2917-Aug-2012Towards understanding triangle construction problemsMarinković, Vesna ; Janičić, Predrag M33
3025-Nov-2011A coherent logic based geometry theorem prover capable of producing formal and readable proofsStojanović-Đurđević. Sana ; Pavlović, Vesna ; Janičić, Predrag M33