CaRMetal is based on C.a.R. : it includes all of its functionalities - or almost - but follows a different approach from the graphical interface point of view. It's not just a different design - which would not make sense - but instead it gives another way to reach functionnalities.
Until now three-dimensional geometry was difficult to teach – the complexity of designs in perspective, models that are difficult and time-consuming to construct… Cabri 3D is the only program that enables you to alleviate these construction difficulties and that also contains the benefits of interactive geometry.
Dr. Geo II is a complete rewrite of Dr. Geo 1.1 GTK for the Squeak/Smalltalk environment. Dr. Geo is a project of the OFSET, Organisation for Free Software in Education and Teaching.
Eukleides is a Euclidean geometry drawing language. Two softwares are related to it. First, eukleides, a compiler which allows to typeset geometric figures within a (La)TeX document. This program is also useful to convert such figures in EPS format or in various other vector graphic formats. Second, xeukleides, a GUI front-end which makes possible to create interactive geometric figures. This program is also useful to edit and tune some Eukleides code.
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.
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.
Geometry Expressions is the first geometry software package that allows you to interact with your figure numerically and symbolically. This symbolic interaction brings together geometry and algebra for the first time in an interactive geometry system.
Geomview is an interactive 3D viewing program for Unix. Geomview lets you view and manipulate three-dimensional objects: you use the mouse to rotate, translate, zoom in and out, and so on. Geomview can be used as a standalone viewer for static objects or as a display engine for other programs which produce dynamically changing geometry. Geomview can display objects described in a variety of file formats. Geomview comes with a wide selection of example objects, and you can create your own objects too.
This program is an interactive geometry software with proof related features.
The project consist in producing an interactive proof software for geometry.
GeoProof can communicate with the Coq proof assistant to perform automatic and interactive proofs of geometry theorems.
The dynamic mathematics software establishes new ways of teaching and learning mathematics. It offers opportunities of visualisation that can't be realised on paper or blackboard and with traditional construction tools.
KGeo is a program for interactive Geometry just like programs such as Euklid, Zirkel und Lineal or Kseg. It was my wish to write an open source version of this software that is free for schools and combines the best of both (all) worlds.