Explore constructions

Use OK Geometry to create proving tasks of varying difficulty based on simple constructions.


Exploring constructions is an easy-to-apply process for systematically augmenting a given construction with one or more points. Points are added by applying operations from a specified set, in all reasonable ways, to previously defined points. The process also identifies interesting properties of the augmented constructions.

The main purpose of exploring constructions is to find interesting properties of the resulting constructions, for example, particular types of properties or properties that are more or less difficult to prove, according to the implemented GDD prover in OK Geometry.

You can find more about advanced query here.