@ARTICLE{
author={Botana Francisco|,Hohenwarter Markus|,Janicic Predrag|0000-0001-8922-4948,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},
}