e.g., 复旦大学周杰伦

Query String: 机器证明

Named-Entity Disambiguation:机器证明

点击更新页面

Visualization Timeline Curiosity

Information

机器证明及其应用是中国攀登计划项目之一。该项目的核心内容主要是几何定理机器证明和非线性代数方程组理论、算法和应用。

InfoBox

中文名 机器证明
分类 计划
简介 机器证明及其应用是中国攀登计划
词性 名词

CN-Probase Concept

Baidu Baike Tag

标签 社会

Linking

Copyright © 2014-2017 KW Lab@Fudan University