Computer Driven Questions and Theorems in Geometry