@article(GgM,
 author       = {G\'abor Ancsin and Markus Hohenwarter and Zolt\'an Kov\'acs},
 year         = {2011},
 title        = {{G}eo{G}ebra goes mobile},
 journal      = {The Electronic Journal of Mathematics and Technology},
 volume       = {5},
 number       = {2},
 pages        = {160--168},
 url          = {https://www.researchgate.net/publication/267715852\_GeoGebra\_goes\_Mobile},
)
@article(gdd,
 author       = {S.C. Chou and X.S. Gao and J.Z. Zhang},
 year         = {2000},
 title        = {A deductive database approach to automated geometry theorem proving and discovering},
 journal      = {J. Automated Reasoning},
 volume       = {25},
 pages        = {219--246},
 doi          = {10.1023/A:1006171315513},
)
@(gg3,
 author       = {M. Hohenwarter and M. Borcherds and G. Ancsin and B. Bencze and M. Blossier and A. Delobelle and C. Denizet and J. \'Eli\'as and \'A Fekete and L. G\'al and Kone\v{c}n\'y, Z. and Z. Kov\'acs and S. Lizelfelner and B. Parisse and G. Sturr},
 year         = {2014},
 title        = {{G}eo{G}ebra 5},
 note         = {\url{http://www.geogebra.org}},
)
@incollection(RelTool-ADG2014,
 author       = {Zolt{\'a}n Kov{\'a}cs},
 year         = {2015},
 title        = {The {R}elation {T}ool in {G}eo{G}ebra 5},
 editor       = {Francisco Botana and Pedro Quaresma},
 booktitle    = {Automated Deduction in Geometry: 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers},
 publisher    = {Springer International Publishing},
 address      = {Cham},
 pages        = {53--71},
 doi          = {10.1007/978-3-319-21362-0\_4},
)
@incollection(Ye_2011,
 author       = {Zheng Ye and Shang-Ching Chou and Xiao-Shan Gao},
 year         = {2011},
 title        = {{An Introduction to Java Geometry Expert}},
 booktitle    = {Automated Deduction in Geometry},
 publisher    = {Springer Science $+$ Business Media},
 pages        = {189--195},
 doi          = {10.1007/978-3-642-21046-4\_10},
)