电脑体验，效果更佳

几何定理机器证明图谱-自然科学领域：

研究人员

严佟然 李晓霞 李洪波

相关术语

华人 吴方法 数学领域 机械化 数学家 余集 Clifford代数 数学机械化

标签云