Geocaml.
This program is an interactive geometry software similar to Cabri Geometre,GeoPlan, Kig...
See
examples
.