Predrag Janicic

Predrag Janicic

University of Belgrade - Belgrade / Serbia
Engineering & Technology / Computer Science
AD Scientific Index ID: 1147448
Универзитет у Београду
person_outline Predrag Janicic's MOST POPULAR ARTICLES
1-) Automated theorem proving in GeoGebra: Current achievementsF Botana, M Hohenwarter, P Janičić, Z Kovács, I Petrović, T Recio, ...Journal of Automated Reasoning 55 (1), 39-59, 20151372015
2-) n-Gram-based classification and unsupervised hierarchical clustering of genome sequencesA Tomović, P Janičić, V KešeljComputer methods and programs in biomedicine 81 (2), 137-153, 20061072006
3-) The area method: a recapitulationP Janicic, J Narboux, P QuaresmaJournal of Automated Reasoning 48 (4), 489-532, 2012792012
4-) GCLC—a tool for constructive euclidean geometry and more than thatP JaničićMathematical Software-ICMS 2006: Second International Congress on …, 2006832006
5-) Geometry constructions languageP JaničićJournal of Automated Reasoning 44, 3-24, 2010662010