List of interactive geometry software
Interactive geometry software or dynamic geometry environments 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.
History
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.Comparison
There are three main types of computer environments for studying school geometry: supposers, dynamic geometry environments and Logo-based programs. Most are DGEs: software that allows the user to manipulate 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.License and platform
The following table provides a first comparison of the different software according to their license and platform.| Software | Cost | Licence | Platforms |
| Cabri Geometry | Windows, macOS | ||
| C.a.R. | Windows, Linux, macOS | ||
| CaRMetal | Windows, Linux, macOS | ||
| Cinderella 1.4 | Windows, Linux, Mac OS X | ||
| Cinderella 2.0 | Windows, Linux, Mac OS X | ||
| DrGeo | Windows, Linux, Mac OS X | ||
| GeoGebra | Free/Paid | GeoGebra License | Windows, Linux, Mac OS X |
| Windows, MacOS, Linux | |||
| The Geometer's Sketchpad | 70.02 US$ | Windows, Mac OS X | |
| Geometry Expert | Windows, Linux, Mac OS X | ||
| GEUP | Windows | ||
| Kig | Linux | ||
| KSEG | Windows, Linux, Mac OS X | ||
| WIRIS | Linux, Windows, Mac OS X |
3D software
| Software | Cost | Licence | Platforms |
| Archimedes Geo3D | Windows/Mac OS X/Linux | ||
| GeoGebra | Free/Paid | GeoGebra License | Windows, Linux, Mac OS X, Android, iOS, Windows RT |
| GEUP 3D | Windows | ||
| Yenka 3D Shapes | Windows | ||
| WIRIS | Windows, Linux, Mac OS X |
General features
The following table provides a more detailed comparison:| Software | Calculations | Macros | Loci | Animations | Scripting | Assignments | LaTeX export | Web export | Multilingual | Proofs | Extra |
| Cabri II Plus | Available on TI Calculator | ||||||||||
| Calques 3D | Experimental connection with some CAS | ||||||||||
| CaR | |||||||||||
| CaRMetal | Amodality, folder system, the Monkey | ||||||||||
| Cinderella | Probabilistic | Several geometries, Physics simulations | |||||||||
| Ganja.js | 2D and 3D, projective and conformal, Geometric Algebra. | ||||||||||
| GCLC | Readable proofs, support for 3D | ||||||||||
| GeoGebra | CAS, HTML5 Export 3D & Automatic Proof | ||||||||||
| Geometria | Two-role model | ||||||||||
| Geometrix | Interactive proof, diagram checking, teacher/student models, labels with dynamic placeholders | ||||||||||
| Geometry Expressions | Symbolic calculations, which can be copied as input for CAS, TeX, and source code in 21 formats/languages. Functions. Arcs on any function or curve. Website for exported HTML5 Canvas and JavaScript Interactive Apps. | ||||||||||
| GeoNext | Available as a web app | ||||||||||
| Géoplan-Géospace | Sequences, 2D & 3D, human readable file format | ||||||||||
| GeoProof | Automatic formal proofs | ||||||||||
| GEUP | CAD functionality through CADGEUP | ||||||||||
| iGeom | Probabilist | Recurrent scripts | |||||||||
| Kig | Labels with dynamic placeholders | ||||||||||
| Live Geometry | Includes player. | ||||||||||
| Sarit2d | Available on web | ||||||||||
| Sketchpad | Functions & function plots, symbolic differentiation, mathematical notation | ||||||||||
| Tabula | Folding, cutting, taping, marker, and working instrument models. | ||||||||||
| Tabulae | Collaborative sessions over the internet. | ||||||||||
| Cabri 3D | |||||||||||
| Archimedes Geo3D | Intersection of Loci | ||||||||||
| GEUP 3D | CAD functionality through CADGEUP | ||||||||||
| Netpad | Base on Web | ||||||||||
| Software | Calculations | Macros | Loci | Animations | Scripting | Assignments | LaTeX export | Web export | Multilingual | Proofs | Extra |
Macros
Features related to macro constructions:| Software | Allows recursity | Allows saving |
| Cabri II Plus | ||
| Calques 3D | ||
| GCLC | ||
| GeoGebra | ||
| Géoplan-Géospace | ||
| GEUP | ||
| iGeom | ||
| Kig | ||
| KSEG | ||
| Sketchpad |
Loci
Loci features related to IGS:| Software | Take a point of a locus | Intersection of two loci |
| Cabri II Plus | ||
| Calques 3D | ||
| CaR | ||
| GeoGebra | ||
| Géoplan-Géospace | ||
| GEUP | ||
| iGeom | ||
| Kig | ||
| Sketchpad | ||
| NetPad |
Proof
We detail here the proof related features.| Software | Interactive proofs | Automatic proofs | Probabilistic proofs |
| Cabri II Plus | Feedback for | in Cabri I | |
| Cinderella | Using external CAS | ||
| GCLC | |||
| GeoGebra | |||
| Geometrix | |||
| Géoplan-Géospace | |||
| GeoProof | |||
| iGeom | |||
| Jeometry | |||
| NetPad |
Measurements and calculation
Measurement and calculation features related to IGS:| Software | Arbitrary precision | Arithmetic expressions | Trigonometric functions | If | Object existence test |
| Cabri | |||||
| Calques 3D | |||||
| C.a.R. | |||||
| GCLC | |||||
| GeoGebra | |||||
| Geometria | |||||
| Géoplan-Géospace | |||||
| GeoProof | |||||
| Geometrix | |||||
| iGeom | |||||
| NetPad |