Autori: Kovacs Zoltan
| Naslov | Formalization of geometry, automated and interactive geometric reasoning (Editorial Material; Early Access) |
| Autori | Kovacs Zoltan Janicic Predrag |
| Info | ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, (2023), vol. br. , str. - |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: |
| Naslov | Portfolio theorem proving and prover runtime prediction for geometry (Article; Proceedings Paper) |
| Autori | Nikolic Mladen Marinkovic Vesna Kovacs Zoltan Janicic Predrag |
| Info | ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, (2019), vol. 85 br. 2-4, str. 119-146 |
| Projekat | Ministry of Science of Serbia [174021] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | Essentials of Aquaphotomics and Its Chemometrics Approaches (Article) |
| Autori | Tsenkova Roumiana Muncan Jelena S Pollner Bernhard Kovacs Zoltan |
| Info | FRONTIERS IN CHEMISTRY, (2018), vol. 6 br. , str. - |
| Projekat | JSPS Postdoctoral Fellowship for Foreign Researchers [P17406]; Janos Bolyai Research Scholarship of the Hungarian Academy of Sciences, Hungary; New National Excellence Program of the Ministry of Human Capacities [UNKP-17-4] |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science Scopus |
| Naslov | Automated Theorem Proving in GeoGebra: Current Achievements (Article) |
| Autori | Botana Francisco Hohenwarter Markus Janicic Predrag Kovacs Zoltan Petrovic Ivan Recio Tomas Weitzhofer Simon |
| Info | JOURNAL OF AUTOMATED REASONING, (2015), vol. 55 br. 1, str. 39-59 |
| Ispravka | ISI/Web of Science Članak Elečas Rang časopisa Citati: ISI/Web of Science |
