Blažek, Jiří; Pech, Pavel Locus computation in dynamic geometry environment. (English) Zbl 1474.97015 Math. Comput. Sci. 13, No. 1-2, 31-40 (2019). MSC: 97G40 14H50 68U05 97U70 PDFBibTeX XMLCite \textit{J. Blažek} and \textit{P. Pech}, Math. Comput. Sci. 13, No. 1--2, 31--40 (2019; Zbl 1474.97015) Full Text: DOI
Botana, Francisco; Hohenwarter, Markus; Janičić, Predrag; Kovács, Zoltán; Petrović, Ivan; Recio, Tomás; Weitzhofer, Simon Automated theorem proving in GeoGebra: current achievements. (English) Zbl 1356.68181 J. Autom. Reasoning 55, No. 1, 39-59 (2015). MSC: 68T15 97Gxx 97U70 PDFBibTeX XMLCite \textit{F. Botana} et al., J. Autom. Reasoning 55, No. 1, 39--59 (2015; Zbl 1356.68181) Full Text: DOI Link