电脑体验，效果更佳

石赫图谱-自然科学领域：

相关人员

高小山 黄文奇 黄勤波

研究领域

自动推理 示性变换 引力势能 数学机械化 折叠 NP难度问题 拟物算法 数学机械化方法

所属机构

湖北武汉 中国科学院数学与系统科学研究院 华中科技大学计算机科学与技术学院 中国科学院数学与系统科学研究院中国科学院...

标签云