Geometrix 3.5 possède toutes les fonctionnalités des anciennes versions de Geometrix auxquelles s'ajoutent de nombreuses nouveautés comme la possibilité de créer des animations, de revenir pas à pas sur une construction, de créer des boîtes noires, un nouveau traceur de courbes. ... La version déclinée ici donne de plus accès au compilateur de création d'exercices de construction et de démonstration. Géométrix dispose maintenant d'un assistant de preuve permettant au professeur de générer des exercices de démonstration.
KSEG is a Free (GPL) interactive geometry program for exploring Euclidean geometry. It runs on Unix-based platforms (according to users, it also compiles and runs on Mac OS X and should run on anything that Qt supports). You create a construction, such as a triangle with a circumcenter, and then, as you drag verteces of the triangle, you can see the circumcenter moving in real time. Of course, you can do a lot more than that--see the feature list below.
GeoGebra is a free interactive geometry software for education in schools. Its creator, Markus Hohenwarter, started the project in 2001 at the University of Salzburg and is continuing it at Florida Atlantic University. GeoGebra is written in Java and thus available for multiple platforms.
What is GCLC? GCLC (from "Geometry Constructions->LaTeX converter") is a tool for visualizing and teaching geometry, and for producing mathematical illustrations. Its basic purpose is converting descriptions of mathematical objects (written in the GCL language) into digital figures. GCLC provides easy-to-use support for many geometrical constructions, isometric transformations, conics, and parametric curves. The basic idea behind GCLC is that constructions are formal procedures, rather than drawings. Thus, in GCLC, producing mathematical illustrations is based on "describing figures" rather than of "drawing figures". This approach stresses the fact that geometrical constructions are abstract, formal procedures and not figures. A figure can be generated on the basis of abstract description, in the Cartesian model of a plane. These digital figures can be displayed and exported to LaTeX files (or some other format). WinGCLC is the Windows version of GCLC and provides a range of additional functionalities.
OpenEuclide is a 2D geometry software: figures are defined dynamically by describing formal geometrical constraints. This project is a basic tool for educational or modeling purpose. It is distributed under the GNU GPL licence, free and multi-platform (up to now, GNU and windows).
VisualWikipedia is a visual, intuitive, and interactive web interface to encyclopedic knowledge/information. It is designed to provide a fun place to learn stuff in an efficient manner. Please watch the following video to get a good sense of how to use it.