符号几何计算相关论文