. "2"^^ . "loci of points, dynamic geometry systems, elimination"@en . "Electronic Journal of Mathematics & Technology" . "12"^^ . . . . . "US - Spojen\u00E9 st\u00E1ty americk\u00E9" . "[E4095296372E]" . "RIV/60076658:12410/13:43886367!RIV14-MSM-12410___" . . . "S" . "Exploring loci of points by DGS and CAS in teaching geometry"@en . . "74312" . "Exploring loci of points by DGS and CAS in teaching geometry" . "2" . "7" . . "Exploring loci of points by DGS and CAS in teaching geometry" . "Jare\u0161, Jakub" . . . . . "Pech, Pavel" . "1933-2823" . "The article is aimed at searching for loci of points of given properties using dynamic geometry systems (DGS) and computer algebra systems (CAS) in teaching geometry. By DGS we demonstrate a problem. DGS also enables us to find the searched locus and state a conjecture. To identify the locus equation we use CAS which perform symbolic computations. In addition, in those cases, where it is possible, a classical proof is given as well."@en . "Exploring loci of points by DGS and CAS in teaching geometry"@en . "RIV/60076658:12410/13:43886367" . . "2"^^ . . "12410" . "The article is aimed at searching for loci of points of given properties using dynamic geometry systems (DGS) and computer algebra systems (CAS) in teaching geometry. By DGS we demonstrate a problem. DGS also enables us to find the searched locus and state a conjecture. To identify the locus equation we use CAS which perform symbolic computations. In addition, in those cases, where it is possible, a classical proof is given as well." . .