欧氏平面几何定理的形数化及其变换群

• The Form-digitizing and Variation Group of the Euclid Plane Geometry Theorem