Doing Geometry with Geometry Software