2019年度吴文俊人工智能杰出贡献奖：高小山
视频简介：
2019年度吴文俊人工智能杰出贡献奖获奖者——高小山。获奖理由：高小山在数学机械化研究中取得了系统与原创成果，对该领域的发展做出了重要贡献。他提出了几何约束求解的完整高效算法并解决了最佳空间并联机构构型与视觉定位基本问题，将机器证明开拓到自动作图新方向。合作建立了基于不变量的消去理论，使机器证明进入到与传统证明比美的新阶段。将数学机械化核心理论开拓到微分差分系统，开拓了机器证明的适用范围、降低了计算复杂度。针对智能数控加工重要实用约束，设计了快速时间最优插补算法，显著改进了加工效率与精度。
讲者简介：
相关视频