

This approach stresses the fact that geometrical constructions are abstract, formal procedures and not figures.". In GCLC, figures are described rather than drawn. GCLC is a dynamic geometry tool for visualizing and teaching geometry, and for producing mathematical illustrations. Geo, for the Squeak/ Smalltalk environment. Geo is a GPL interactive software intended for younger students (7-15). Full documentation is available online.ĭr Genius was an attempt to merge Dr. Also, it now supports macros, line segments, calculations, arbitrary functions, plots, etc. The later version Cinderella.2 also includes a physics simulation engine and a scripting language. Derived from C.a.R., it provides a different user interface.Ĭinderella, written in Java, is very different from The Geometer's Sketchpad.

is a free GPL analog of The Geometer's Sketchpad (GSP), written in Java.Ĭabri was developed by the French school of mathematics education in Grenoble (Laborde, 1993)ĬaRMetal is a free GPL software written in Java. Measurement and calculation features related to IGS: (TODO) We detail here the proof related features. Sequences, 2D & 3D, human readable file formatįunctions & function plots, symbolic differentiation, mathematical notationįolding, cutting, taping, marker, and working instrument models.Ĭollaborative sessions over the internet.įeatures related to macro constructions: (TODO) Website for exported HTML5 Canvas and JavaScript Interactive Apps (Euclid's Muse).

Symbolic calculations, which can be copied as input for CAS, TeX, and source code in 21 formats/languages. Interactive proof, diagram checking, teacher/student models, labels with dynamic placeholders The following table provides a more detailed comparison :ĢD and 3D, projective and conformal, Geometric Algebra. Windows, Linux, Mac OS X, Android, iOS, Windows RT The following table provides a first comparison of the different software according to their license and platform. For a related, comparative physical example of these algorithms, see Lenart Sphere. Nearly all of the following programs are DGEs. The main example of a supposer is the Geometric Supposer, which does not have draggable objects, but allows students to study pre-defined shapes. Most are DGEs: software that allows the user to manipulate ("drag") the geometric object into different shapes or positions. There are three main types of computer environments for studying school geometry: supposers, dynamic geometry environments (DGEs) and Logo-based programs. This was soon followed by Cabri in 1986 and The Geometer's Sketchpad. The earliest IGS was the Geometric Supposer, which was developed in the early 1980s.
