当前位置:首页 > 数理化
吴文俊全集  数学机械化卷  4
吴文俊全集  数学机械化卷  4

吴文俊全集 数学机械化卷 4PDF电子书下载

数理化

  • 电子书积分:10 积分如何计算积分?
  • 作 者:吴文俊著;高小山编订
  • 出 版 社:北京:龙门书局
  • 出版年份:2019
  • ISBN:9787508855530
  • 页数:234 页
图书介绍:本卷是由吴文俊的书《几何定理机器证明的基本原理》组成的。本书可以作为数学与相关领域研究人员、教师、研究生的参考文献,也可以作为计算机数学的参考书。吴文俊先生是中国科学院院士,第三世界科学院院士,中国科学院数学与系统科学研究院系统科学研究所研究员、名誉所长,中国数学会名誉理事长,中国数学机械化研究的创始人之一,首届国家最高科学技术奖的获得者。
《吴文俊全集 数学机械化卷 4》目录
相关图书
作者其它书籍
返回顶部