• applet java GeoplanJ (auteur : Frédéric Kotecki, CNAM)
  
  logiciel libre sous licence GNU GPL
  figures construites interactivement ou à partir d'un texte

• GeoView
  
  énoncé formel d'un théoréme de géométrie plane
  calcul de l'ordre des constructions
  texte de figure => GeoplanJ
  
  
  

JFLA 2004 — F. GUILHOT