Computer driven questions and theorems in geometry Pt3