Discovering Geometry: An Inductive Approach