|
题名:
|
吴文俊全集 / 吴文俊著 , |
|
ISBN:
|
978-7-5088-5553-0 价格： CNY128.00 |
|
语种:
|
chi |
|
载体形态:
|
234页 图,照片 25cm |
|
出版发行:
|
出版地： 北京 出版社： 科学出版社 出版日期： 2019 |
|
内容提要:
|
本卷是由吴文俊的书《几何定理机器证明的基本原理》组成的。本书可以作为数学与相关领域研究人员、教师、研究生的参考文献,也可以作为计算机数学的参考书。吴文俊先生是中国科学院院士,第三世界科学院院士,中国科学院数学与系统科学研究院系统科学研究所研究员、名誉所长,中国数学会名誉理事长,中国数学机械化研究的创始人之一,首届国家最高科学技术奖的获得者。 |
|
主题词:
|
数学 |
|
主题词:
|
数学理论 |
|
中图分类法:
|
O1-53 版次： 5 |
|
中图分类法:
|
O1-0 版次： 5 |
|
其它题名:
|
几何定理机器证明的基本原理 |
|
其它题名:
|
Mathematics mechanization |
|
其它题名:
|
数学机械化卷 |
|
主要责任者:
|
吴文俊 著 |
|
附注:
|
国家出版基金项目 |