Edit Profile (opens in new tab) Marinković, Vesna Compute Distance To: Compute Author ID: marinkovic.vesna Published as: Marinković, Vesna; Marinkovic, Vesna Documents Indexed: 7 Publications since 2012 Co-Authors: 6 Co-Authors with 6 Joint Publications 57 Co-Co-Authors all top 5 Co-Authors 1 single-authored 6 Janičić, Predrag 3 Schreck, Pascal 1 Kovács, Zoltán 1 Mathis, Pascal 1 Nikolić, Mladen 1 Selaković, Milica Serials 1 Journal of Symbolic Computation 1 Annals of Mathematics and Artificial Intelligence 1 Computing and Informatics 1 Forum Geometricorum 1 Mathematics in Computer Science Fields 6 Computer science (68-XX) 5 Geometry (51-XX) 2 Mathematical logic and foundations (03-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 5 Publications have been cited 12 times in 9 Documents Cited by ▼ Year ▼ Towards understanding triangle construction problems. Zbl 1359.68265Marinković, Vesna; Janičić, Predrag 4 2012 Computer theorem proving for verifiable solving of geometric construction problems. Zbl 1434.03032Marinković, Vesna; Janičić, Predrag; Schreck, Pascal 3 2015 Wernick’s list: a final update. Zbl 1335.51002Schreck, Pascal; Mathis, Pascal; Marinkovic, Vesna; Janicic, Predrag 2 2016 Constructibility classes for triangle location problems. Zbl 1342.51017Schreck, Pascal; Marinković, Vesna; Janičić, Predrag 2 2016 Portfolio theorem proving and prover runtime prediction for geometry. Zbl 1431.68123Nikolić, Mladen; Marinković, Vesna; Kovács, Zoltán; Janičić, Predrag 1 2019 Portfolio theorem proving and prover runtime prediction for geometry. Zbl 1431.68123Nikolić, Mladen; Marinković, Vesna; Kovács, Zoltán; Janičić, Predrag 1 2019 Wernick’s list: a final update. Zbl 1335.51002Schreck, Pascal; Mathis, Pascal; Marinkovic, Vesna; Janicic, Predrag 2 2016 Constructibility classes for triangle location problems. Zbl 1342.51017Schreck, Pascal; Marinković, Vesna; Janičić, Predrag 2 2016 Computer theorem proving for verifiable solving of geometric construction problems. Zbl 1434.03032Marinković, Vesna; Janičić, Predrag; Schreck, Pascal 3 2015 Towards understanding triangle construction problems. Zbl 1359.68265Marinković, Vesna; Janičić, Predrag 4 2012 all cited Publications top 5 cited Publications all top 5 Cited by 11 Authors 3 Janičić, Predrag 3 Marinković, Vesna 3 Schreck, Pascal 2 Quaresma, Pedro 1 Abdesselam, Abdelmalek 1 Bataille, Michel 1 Chipalkatti, Jaydeep V. 1 Kovács, Zoltán 1 Mathis, Pascal 1 Nikolić, Mladen 1 Selaković, Milica all top 5 Cited in 6 Serials 2 Journal of Symbolic Computation 2 Mathematics in Computer Science 1 Discrete & Computational Geometry 1 Annals of Mathematics and Artificial Intelligence 1 Journal of Systems Science and Complexity 1 Forum Geometricorum Cited in 5 Fields 7 Geometry (51-XX) 6 Computer science (68-XX) 1 Mathematical logic and foundations (03-XX) 1 Algebraic geometry (14-XX) 1 Mathematics education (97-XX) Citations by Year