Intelligent learning environments:the case of geometry - Laborde, Jean-Marie (NATO ASI series. Computer and systems sciences ;, 1996)