Dr. Zlatan Magajna (Universität Ljubljana)
The use of dynamic geometry systems in school geometry affects working practices in this subject. Several processes, e.g. executing constructions and measurements, checking properties, simulating, and even proving facts, are or can be computer supported. Curiously, little attention is devoted to computer supported observation of dynamic constructions. OK Geometry is a tool that was designed for this purpose. In simple terms, OK Geometry observes geometric properties of dynamic constructions made with various dynamic geometry software and generates hypotheses. Starting from the role of observation in the proving process we shall present the concept and the principles of automated observation. We shall also consider the didactic relevance based on existing experience and research as well as some technical aspects of automated observation of dynamic constructions.
