@ARTICLE{
author={Kovacs Zoltan,Janicic Predrag},
year={2023},
title={Formalization of geometry, automated and interactive geometric reasoning},
journal={ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE},
volume={},
number={},
pages={-},
document_type={Editorial Material; Early Access},
} 

@ARTICLE{
author={Nikolic Mladen,Marinkovic Vesna,Kovacs Zoltan,Janicic Predrag},
year={2019},
title={Portfolio theorem proving and prover runtime prediction for geometry},
journal={ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE},
volume={85},
number={2-4},
pages={119-146},
document_type={Article; Proceedings Paper},
} 

@ARTICLE{
author={Tsenkova Roumiana,Muncan Jelena S,Pollner Bernhard,Kovacs Zoltan},
year={2018},
title={Essentials of Aquaphotomics and Its Chemometrics Approaches},
journal={FRONTIERS IN CHEMISTRY},
volume={6},
number={},
pages={-},
document_type={Article},
} 

@ARTICLE{
author={Botana Francisco,Hohenwarter Markus,Janicic Predrag,Kovacs Zoltan,Petrovic Ivan,Recio Tomas,Weitzhofer Simon},
year={2015},
title={Automated Theorem Proving in GeoGebra: Current Achievements},
journal={JOURNAL OF AUTOMATED REASONING},
volume={55},
number={1},
pages={39-59},
document_type={Article},
}