Discovering Geometry An Inductive Approach