OK Geometry is an aid for analysing geometric constructions. Given a dynamic geometric construction OK Geometry detects patterns as well as certain properties of the construction. You may think of OK Geometry as a pair of geometric spectacles for observing invariants of dynamic geometric constructions. Detecting properties is, among other, an important step in proving facts. OK Geometry may also help in organising the found information. (More...)
Unzip the downloaded file, read the install.txt file and run the application.