8th International Congress on Mathematical Education

Seville, Spain, July 14 - 21, 1996

E-Poster:

Automatic Discovery of Elementary Geometry Theorems

Tomás Recio *
University of Cantabria
Spain

Index:

• Abstract
  
• Some references
  
• Geometric Situations: Situation #1, Situation #2
  
• Conclusions