Automated and Formal Theorem Proving in Coherent Logic
Algorithmics
Publications
V. Marinković, T. Šukilović, V. Novaković, F. Marić: Readable automated proofs of ruler and compass constructions, Annals of Mathematics and Artificial Intelligence (AMAI), 2025. https://doi.org/10.1007/s10472-025-09971-z
V. Marinković, F. Marić: Interactive Textbook for Algorithms and Data Structures, Journal of Educational Studies in Mathematics and Computer Science (JESMAC), Vol. 1, No. 1, pp. 29–40, 2024.
D. Milojković, V. Marinković: Angle trisection with Origami and proving its correctness using Gröbner basis, The Teaching of Mathematics, Vol. XXVII, No. 2, pp. 59–78, 2024.
V. Marinković, T. Šukilović, F. Marić: Automated triangle constructions in hyperbolic geometry, Annals of Mathematics and Artificial Intelligence (AMAI), vol. 91, pp. 821–849, 2023.
V. Marinković: Prolog in Automated Reasoning in Geometry, in book: Prolog: The Next 50 Years, Lecture Notes in Artificial Intelligence, vol 13900, pp. 334–345, 2023.
M. Selaković, V. Marinković, P. Janičić, New Dynamics in Dynamic Geometry: Dragging Constructed Points, Journal of Symbolic Computation (JSC), vol 97, pp. 3–15, 2020.
M. Nikolić, V. Marinković, Z. Kovàcs, P. Janičić, Portfolio Theorem Proving and Prover Runtime Prediction for Geometry, Annals of Mathematics and Artificial Intelligence (AMAI), vol 85(2-4), pp. 119–146, 2019.
V. Marinković: ArgoTriCS - Automated Triangle Construction Solver, Journal of Experimental & Theoretical Artificial Intelligence, vol. 29, no.2, pp. 247--271, 2017.
V. Marinković, M. Nikolić, Z. Kovacs, and P. Janičić, Portfolio Methods in Theorem Proving for Elementary Geometry, ADG 2016.
P. Schreck, P. Mathis, V. Marinković, and P. Janičić, Wernick's List: A Final Update, Forum Geometricorum, Department of Mathematical Sciences, Florida Atlantic University, vol. 16, pp. 69--80, 2016.
P. Schreck, V. Marinković, and P. Janičić, Constructibility Classes for Triangle Location Problems, Mathematics in Computer Science, Springer, vol. 10, issue 1, pp. 27--39, 2016.
V. Marinković: On-line Compendium of Triangle Construction Problems with Automatically Generated Solutions, The Teaching of Mathematics,
XVIII 1, pp. 29--44, 2015.
V. Marinković: Proof Simplification in the Framework of Coherent Logic, Computing and Informatics, vol. 34, no.2, pp.337--366, 2015.
V. Marinković, P. Janičić, P. Schreck: Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems, In F. Botana and
P. Quaresma, editors, Automated Deduction in Geometry, ADG 2014, volume 9201 of Lecture Notes in Computer Science, pp. 72--93. Springer,
2015.
V. Marinković, P. Janičić: Towards Understanding Triangle Construction Problems, In J. Jeuring et al, editors, Intelligent Computer Mathematics,
CICM 2012, volume 7362 of Lecture Notes in Artificial Inteligence, pp. 126--141, 2012.
S. Tomažič, V. Pavlović, J. Milovanović, J. Sodnik, A. Kos, S. Stancin, V. Milutinović, Fast file existence checking in archiving systems, Transactions on Storage 7(1): 2, 2011.
S. Stojanović, V. Pavlović, and P. Janičić, A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs, In P. Schreck, J. Narboux, and J. Richter-Gebert, editors, Automated Deduction in Geometry, ADG 2010, volume 6877 of Lecture Notes in Artificial Inteligence, pp. 200--219. Springer, 2011.
Textbooks and Workbooks
V. Marinković, F. Marić, Konstrukcija i analiza algoritama, Matematički fakultet, Beograd, 2024. ISBN: 978-86-7589-195-6
F. Marić, V. Marinković, Racunarstvo i informatika 4, udžbenik za četvrti razred gimnazije, Klett, Beograd, 2017. ISBN: 978-86-7762-968-7
F. Marić, N. Alimpić, N. Vasiljević, M. Vugdelija, D. Vuković, M. Ðurišić, V. Marinković, S. Matković, J. Hadži-Purić, M. Čabarkapa, Metodička zbirka algoritamskih zadataka sa rešenjima, Društvo matematičara Srbije i Fondacija Petlja, Beograd, 2019. ISBN: 978-86-6447-014-8