Pythagoras: An Interactive Environment for Plane Geometry | IEEE Conference Publication | IEEE Xplore