新澳门葡萄京下载

English Version

热点链接

新闻在线
  图书馆
网上办公
教务系统
书记校长信箱

数学机械化与人工智能

主 讲 人 :高小山    研究员

活动时间:10月03日15时00分    

地      点 :数学科学学院D203

讲座内容:

数学机械化主要研究如何借助计算机进行定理自动证明与发现,是我国数学家吴文俊教授创立的数学与人工智能交叉重要研究方向。本报告将简要介绍数学机械化的基本思想与若干新进展:微分Chow坐标、稀疏微分结式与机器证明的量子算法。

主讲人介绍:

高小山,中国科学院数学与系统科学研究院研究员。长期致力于数学机械化与人工智能数学理论及应用研究,对该领域的发展做出了突出贡献,被吴文俊称为数学机械化领域目前的“领军人物”。曾荣获国家自然科学二等奖、香港求是杰出青年学者奖、吴文俊应用数学奖、吴文俊人工智能杰出贡献奖、国家基金委杰青、国际计算机学会ISSAC杰出论文奖等荣誉。曾担任3个973项目的首席科学家、国家基金委创新群体学术带头人,国防数学项目首席科学家。

发布时间:2021-10-01 08:42:20

版权所有新澳门葡萄京下载    冀ICP备18011017号-3  

冀公网安备 13010802000630号


地址:河北省石家庄市南二环东路20号 邮编:050024 
XML 地图 | Sitemap 地图