References

1. Gábor Ancsin, Markus Hohenwarter & Zoltán Kovács (2011): GeoGebra goes mobile. The Electronic Journal of Mathematics and Technology 5(2), pp. 160–168. Available at https://www.researchgate.net/publication/267715852_GeoGebra_goes_Mobile.
2. 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.
3. 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.
4. 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.
5. 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.

Comments and questions to: eptcs@eptcs.org

For website issues: webmaster@eptcs.org