InteractiveGeometry * Geometry EXpert [#ic3e70c2] - http://www.mmrc.iss.ac.cn/gex - Geometry Expert (GEX) is a software for dynamic diagram drawing and automated geometry theorem proving and discovering. [[:not yet:]]