近世几何相关论文
<正>1 仿射变换在仿射交换下,图形的形状、大小等发生了变化,但仍然有很多性质不会改变,这些性质叫仿射性质.例如,若我们垂直地面......
优化并发展了质点法机器证明算法的核心程序,用Mathematica创建了新的几何定理证明器。拓展了机器证明的研究范畴,首次实现了近世......
