几何定理的机器证明相关硕士博士期刊学术论文

综述近几年来几何代数和高级不变量计算两方面的主要进展，重点是共形几何代数的背景、思路、发展和对经典几何的高级不变量理论发展......