Bringing More Intelligence to Dynamic Geometry by Using Symbolic Computation Francisco Botana Univ. Vigo (Spain) .