数学机械化自动推理计算机代数-上海海事大学教学课件_第1页
数学机械化自动推理计算机代数-上海海事大学教学课件_第2页
数学机械化自动推理计算机代数-上海海事大学教学课件_第3页
数学机械化自动推理计算机代数-上海海事大学教学课件_第4页
数学机械化自动推理计算机代数-上海海事大学教学课件_第5页
已阅读5页，还剩66页未读， 继续免费阅读

下载本文档

版权说明：本文档由用户提供并上传，收益归属内容提供方，若内容存在侵权，请进行举报或认领

文档简介

如何实现自动推理一简明介绍数学机械化与吴方法朝鲁上海海事大学数学系2019-11-、吴文俊简介吴文俊院士是中国科学院数学与系统科学研究院的研究员,我国著名的数学家。他于上世纪50年代对数学的主要领域一拓扑学做出了杰出贡献。70年代后期,吴文俊开创了崭新的数学机械化领域。他建立了用计算机证明几何定理的“吴方法”。实现了高效几何定理自动证明;吴方法应用于计算机图形学、机器人、机构设计、全局优化、化学平衡、天体运行.等领域。吴文俊院士获得过很多奖项1956年获得国家自然科学一等奖1979年获得中国科学院自然科学一等奖1990年获得第三世界科学院数学奖1993年获得陈嘉庚数理科学奖1994年获得首届香港求是科技基金会杰出科学家奖87岁≠不能创新2019年度国际自动推理界的最高奖"Herbrand奖”2000年获得首属国家最高科技奖2019年获邵逸夫数学科学奖看一段视频报道wlz.mostgov/detail2.asp?projectid=122&typeid=22吴文俊院士开创了数学机械化研究领域。他所建立的“吴方法吴有限核定理”已成为该领域的奠基性成果。运数学机械化方法,本项研究解决了广义Stewart平台正解问题,这是对机器人运动学领域的一个主要贡献。以此为基础,研制成功我国第台大型虚拟轴机床样机与集成电路制造装备关键子系统。齐二机床清华大学个联工用二、脑力劳动能机械化吗?劳动=体力劳动+脑力劳动;17世纪以来,工业革命使人们逐渐实现了体力劳动的机械化,大大地促进了社会生产力的发展。脑力劳动的机械化是人类的追求,梦想脑力劳动的彻底机械化是不可能,但部分机

人人文库> 全部分类> 教育资料 > 课件下载

温馨提示

  • 1. 本站所有资源如无特殊说明，都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等，如果需要附件，请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸，网页内容里面会有图纸预览，若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对用户上传分享的文档内容本身不做任何修改或编辑，并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容，请与我们联系，我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

最新文档

评论

0/150

提交评论