电脑体验，效果更佳

吴方法图谱-计算机领域：

研究人员

郑纬民 林东岱 郑春芳 赵喜清 马光胜 邵晶波 石青云 武永卫

相关术语

数学机械化 几何CAI 自动定理证明 置换法 符号计算 分布式计算 对称多项式 高层次设计

标签云