Research interests

Automated reasoning:

  • geometry reasoning
  • automated and formal theorem proving in coherent logic

Publications

  1. V. Marinković: ArgoTriCS - Automated Triangle Construction Solver, Journal of Experimental & Theoretical Artificial Intelligence, vol. 29, no.2, pp. 247--271, 2017.
  2. V. Marinković, M. Nikolić, Z. Kovacs, and P. Janičić, Portfolio Methods in Theorem Proving for Elementary Geometry, ADG 2016.
  3. 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.
  4. 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.
  5. V. Marinković: On-line Compendium of Triangle Construction Problems with Automatically Generated Solutions, The Teaching of Mathematics, XVIII 1, pp. 29--44, 2015.
  6. V. Marinković: Proof Simplification in the Framework of Coherent Logic, Computing and Informatics, vol. 34, no.2, pp.337--366, 2015.
  7. 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.
  8. 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.
  9. 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.
  10. 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.

Publications

  1. F. Maric, V. Marinkovic, Racunarstvo i informatika 4, udzbenik za cetvrti razred gimnazije, Klett, Beograd, 2017.
PhD thesis
Automated Solving of Construction Problems in Geometry (in Serbian)