电脑体验，效果更佳

机器证明图谱-社科哲学领域：

研究人员

纪志刚 田长生

相关术语

消点算法 吴文俊 多项式环 Grlbner基 数学机械化 降维算法 吴法 理想

标签云