S.C. Chou, X.S. Gao & J.Z. Zhang (2000):
A deductive database approach to automated geometry theorem proving and discovering.
J. Automated Reasoning 25,
pp. 219–246,
doi:10.1023/A:1006171315513.
M. Hohenwarter, M. Borcherds, G. Ancsin, B. Bencze, M. Blossier, A. Delobelle, C. Denizet, J. Éliás, Á Fekete, L. Gál, Z. Konečný, Z. Kovács, S. Lizelfelner, B. Parisse & G. Sturr (2014):
GeoGebra 5.
http://www.geogebra.org.
Zoltán Kovács (2015):
The Relation Tool in GeoGebra 5.
In: Francisco Botana & Pedro Quaresma: Automated Deduction in Geometry: 10th International Workshop, ADG 2014, Coimbra, Portugal, July 9-11, 2014, Revised Selected Papers.
Springer International Publishing,
Cham,
pp. 53–71,
doi:10.1007/978-3-319-21362-0_4.
Zheng Ye, Shang-Ching Chou & Xiao-Shan Gao (2011):
An Introduction to Java Geometry Expert.
In: Automated Deduction in Geometry.
Springer Science + Business Media,
pp. 189–195,
doi:10.1007/978-3-642-21046-4_10.