×
Compute Distance To:
Author ID: marinkovic.vesna Recent zbMATH articles by "Marinković, 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

Publications by Year

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.68265
Marinković, Vesna; Janičić, Predrag
4
2012
Computer theorem proving for verifiable solving of geometric construction problems. Zbl 1434.03032
Marinković, Vesna; Janičić, Predrag; Schreck, Pascal
3
2015
Wernick’s list: a final update. Zbl 1335.51002
Schreck, Pascal; Mathis, Pascal; Marinkovic, Vesna; Janicic, Predrag
2
2016
Constructibility classes for triangle location problems. Zbl 1342.51017
Schreck, Pascal; Marinković, Vesna; Janičić, Predrag
2
2016
Portfolio theorem proving and prover runtime prediction for geometry. Zbl 1431.68123
Nikolić, Mladen; Marinković, Vesna; Kovács, Zoltán; Janičić, Predrag
1
2019
Portfolio theorem proving and prover runtime prediction for geometry. Zbl 1431.68123
Nikolić, Mladen; Marinković, Vesna; Kovács, Zoltán; Janičić, Predrag
1
2019
Wernick’s list: a final update. Zbl 1335.51002
Schreck, Pascal; Mathis, Pascal; Marinkovic, Vesna; Janicic, Predrag
2
2016
Constructibility classes for triangle location problems. Zbl 1342.51017
Schreck, Pascal; Marinković, Vesna; Janičić, Predrag
2
2016
Computer theorem proving for verifiable solving of geometric construction problems. Zbl 1434.03032
Marinković, Vesna; Janičić, Predrag; Schreck, Pascal
3
2015
Towards understanding triangle construction problems. Zbl 1359.68265
Marinković, Vesna; Janičić, Predrag
4
2012

Citations by Year