The use of DGS and CAS in proving theorems
Presented by Prof. Pavel PECH
Type: Oral presentation
Track: Proving in Mathematics Education at University and at School
The use of dynamic geometry systems (DGS) and computer algebra systems (CAS) changed methods of teaching mathematics at all school levels considerably. Dynamic features of DGS enable to do several activities which were not possible in the past, for instance dynamic experimentation with geometric figures, stating conjectures, searching for loci of points or visual proving. On the other hand with CAS we are able to prove exactly mathematical theorems. In the talk we will present several topics from geometry in a plane with the stress on the use of DGS and CAS at schools.