MARC状态:审校 文献类型:中文图书 浏览次数:29
- 题名/责任者:
- 吴文俊全集:mathematics mechanization.V.数学机械化卷/吴文俊著 高小山编订
- 出版发行项:
- 北京:科学出版社,2019
- ISBN及定价:
- 978-7-5088-5554-7 精装/CNY298.00
- 载体形态项:
- 683页, [1] 页图版:图, 肖像;25cm
- 并列正题名:
- Complete works of Wu Wen-Tsun:mathematics mechanization.V
- 其它题名:
- 数学机械化卷
- 个人责任者:
- 吴文俊 著
- 个人次要责任者:
- 高小山 编订
- 学科主题:
- 数学理论-文集
- 中图法分类号:
- O1-53
- 中图法分类号:
- O1
- 一般附注:
- 国家出版基金项目
- 书目附注:
- 有书目
- 提要文摘附注:
- 本卷收录了吴文俊在数学机械化领域发表的46论文篇。内容包括: 几何定理机器证明的吴方法, 多项式系统符号求解的Ritt-吴特征列方法, 构造性微分代数几何理论, 不等式机器证明与优化问题的有限核定理等数学机械化领域的奠基性成果。还包括数学机械化方法在数学定理的自动发现、天体中心构型问题求解、平面机构定理的机器证明、机器人的运动学问题的自动求解、几何设计中的曲面拼接等问题中的应用。
全部MARC细节信息>>
索书号 | 条码号 | 年卷期 | 校区—馆藏地 | 书刊状态 |
O1/105:2 | S3290741 | - | 总馆—理学书库(龙湖) | 可借 |
显示全部馆藏信息