1. Abánades, M., Botana, F., Kovács, Z., Recio, T., Sólyom-Gecse, C.: Development of automatic reasoning tools in GeoGebra. ACM Commun. Comput. Algebra 50, 85–88 (2016)
2. Chou, S.C.: Mechanical Geometry Theorem Proving. Kluwer Academic Publishers Norwell, New York (1987)
3. Fekete, Á.: Happy PI day (International Day of Mathematics), with some pictures. https://recreationmath.blogspot.com/2020/03/happy-pi-day-international-day-of.html (2020)
4. Decker, W., Greuel, G.-M., Pfister, G., Schönemann, H.: Singular 4-1-2—a computer algebra system for polynomial computations. http://www.singular.uni-kl.de (2019)
5. Decker, W., Lecerf, G., Pfister, G.: absfact.lib. A Singular 4-1-2 library for computing absolute factorization for characteristic 0 (2019)