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

67
checked on Nov 5, 2025

Works indexed in
SCOPUSTM

12
checked on Nov 5, 2025

Publications

Results 1-20 of 21 (Search time: 0.003 seconds).

Issue DateTitleAuthor(s)Rank
11-Jan-2025Readable automated proofs of ruler and compass constructionsMarinković, Vesna ; Šukilović, Tijana ; Novaković, Viktor; Marić, Filip M22
222-Jan-2024Towards Automated Readable Proofs of Ruler and Compass ConstructionsMarinković, Vesna ; Šukilović, Tijana ; Marić, Filip 
32024Interactive textbook for algorithms and data structuresMarinković, Vesna ; Marić, Filip 
42024Efikasan obilazak grafova kontrole tokaRistović, Ivan; Čugurović, Milan ; Stanojević, Strahinja ; Spasić, Marko ; Marinković, Vesna ; Vujošević Janičić, Milena M63
52024Konstrukcija i analiza algoritamaMarinković, Vesna ; Marić, Filip 
62024Angle trisection with origami and proving its correctness using Gröbner basisMilojković, Dara ; Marinković, Vesna M23
71-Dec-2023Automated triangle constructions in hyperbolic geometryMarinković, Vesna ; Šukilović, Tijana ; Marić, Filip M22
82023Prolog in Automated Reasoning in GeometryMarinković, Vesna M14
930-Dec-2021On Automating Triangle Constructions in Absolute and Hyperbolic GeometryMarinković, Vesna ; Šukilović, Tijana ; Marić, Filip M33
101-Mar-2020New dynamics in dynamic geometry: Dragging constructed pointsSelaković, Milica; Marinković, Vesna ; Janičić, Predrag M22
1115-Apr-2019Portfolio theorem proving and prover runtime prediction for geometryNikolić, Mladen ; Marinković, Vesna ; Kovács, Zoltán; Janičić, Predrag M22
122019Методичка збирка алгоритамских задатака са решењима - C# - основни нивоMarić, Filip ; Alimpić, Nina; Vasiljević, Nebojša; Vugdelija, Milan; Vuković, Duša; Đurišić, Miodrag; Marinković, Vesna ; Matković, Stanka; Hadži-Purić, Jelena; Čabarkapa, Milan
134-Mar-2017ArgoTriCS–automated triangle construction solverMarinković, Vesna M22
141-Mar-2016Constructibility Classes for Triangle Location ProblemsSchreck, Pascal; Marinković, Vesna ; Janičić, Predrag 
152016Portfolio Methods in Theorem Proving for Elementary GeometryMarinković, Vesna ; Nikolić, Mladen ; Zoltan Kovacs; Janičić, Predrag M33
162016Wernick's List: A Final UpdateJaničić, Predrag ; Marinković, Vesna ; Schreck, Pascal; Mathis, Pascal
172015Аутоматско решавање конструктивних проблема у геометријиMarinković, Vesna M70
182015On-line compendium of triangle construction problems with automatically generated solutionsMarinković, Vesna 
192015Proof Simplification in the Framework of Coherent LogicMarinković, Vesna M23
2017-Aug-2012Towards understanding triangle construction problemsMarinković, Vesna ; Janičić, Predrag M33