List of interactive geometry software

Interactive geometry software (IGS) or dynamic geometry environments (DGEs) are computer programs which allow one to create and then manipulate geometric constructions, primarily in plane geometry. In most IGS, one starts construction by putting a few points and using them to define new objects such as lines, circles or other points. After some construction is done, one can move the points one started with and see how the construction changes.

The earliest IGS was the Geometric Supposer, which was developed in the early 1980s. This was soon followed by Cabri in 1986 and The Geometer's Sketchpad.

There are three main types of computer environments for studying school geometry: supposers, dynamic geometry environments (DGEs) and Logo-based programs. Most are DGEs: software that allows the user to manipulate ("drag") the geometric object into different shapes or positions. The main example of a supposer is the Geometric Supposer, which does not have draggable objects, but allows students to study pre-defined shapes. Nearly all of the following programs are DGEs. For a related, comparative physical example of these algorithms, see Lenart Sphere.

The following table provides a first comparison of the different software according to their licence and platform.

The following table provides a more detailed comparison :

Features related to macro constructions: (TODO)

Loci features related to IGS: (TODO)

We detail here the proof related features. (TODO)

Measurement and calculation features related to IGS: (TODO)

C.a.R. is a free GPL analog of GSP, written in Java.

CaRMetal is a free GPL software written in Java. It is derived from C.a.R and provides another user interface.

Cabri II Plus is an extended analog of GSP and actually the ancestor of all DGSs.

...
Wikipedia