“国家自然科学基金面上”项目“几何定理机器证明的代数方法的等价性与完全性”

副标题：