Nagel点相关论文
在n维欧氏空间E^n中，建立了n维单形的奈格尔（Nagel）点与斯俾克（Spieker）超球面概念，并据此导出了一串有关的平行线、共线点、共点线、共......
采用重心坐标系用数值并行法对几何定理的机械化证明进行讨论,并给出五个平面几何定理的新证明。......
