搜索结果: 1-1 共查到“系统论 人工智能”相关记录1条 . 查询时间(0.543 秒)
中国科学院数学与系统科学研究院高小山研究员获吴文俊人工智能杰出贡献奖
中国科学院数学与系统科学研究院 高小山 研究员 吴文俊 人工智能 杰出贡献奖 数学机械化
2019/11/12
近日,第九届“吴文俊人工智能科学技术奖”揭晓,我院高小山研究员为吴文俊人工智能杰出贡献奖获得者之一。高小山现为中国科学院数学与系统科学研究院研究员、常务副院长。他主要从事数学机械化研究,对该领域的发展做出了重要贡献,被吴文俊称为数学机械化领域目前的“领军人物”。针对智能CAD、机器人、计算机视觉、智能数控加工等机器智能中的关键需求,高小山带领团队建立了微分差分系统机器证明若干基本方法、发展了几何约...