- 题名/责任者:
- 吴文俊全集:Mathematics mechanization: machanical geometry theorem-proving, mechanical geometry problem-solving and polynomial equations-solving.I.数学机械化卷/吴文俊著
- 出版发行项:
- 北京:科学出版社,2019
- ISBN及定价:
- 978-7-5088-5550-9 精装/CNY188.00
- 载体形态项:
- 10,414页:照片;24cm
- 并列正题名:
- Complete works of Wu Wen-tsun:Mathematics mechanization: machanical geometry theorem-proving, mechanical geometry problem-solving and polynomial equations-solving.I.Mathematics mechanization
- 个人责任者:
- 吴文俊 著
- 中图法分类号:
- O1-53
- 中图法分类号:
- O1
- 一般附注:
- 国家出版基金项目
- 提要文摘附注:
- 《吴文俊全集·数学机械化I》由吴文俊先生的英文书MathematicsMechanization组成。本书可作为数学与相关领域研究人员、教师、研究生的参考文献，也可以作为计算机数学的参考书。《吴文俊全集·数学机械化I》由吴文俊先生的英文书MathematicsMechanization组成。本书可作为数学与相关领域研究人员、教师、研究生的参考文献，也可以作为计算机数学的参考书。
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 校区—馆藏地 | 书刊状态 |
| O1/105:2.1 | S3260938 | - | 总馆—理学书库（龙湖） | 可借 |
| O1/105:2.1 | S3284261 | - | 总馆—理学书库（龙湖） | 可借 |
显示全部馆藏信息