电脑体验，效果更佳

余集图谱-自然科学领域：

研究人员

李晓霞 严佟然

相关术语

特征列 吴方法 机械化 Grobner基方法 标准形 几何定理机器证明

标签云