| 暂存书架(0) | 登录

MARC状态:审校 文献类型:中文图书 浏览次数:53

题名/责任者:
吴文俊全集:数学机械化.Ⅴ.数学机械化卷/吴文俊著 高小山编订
出版发行项:
北京:科学出版社,2019
ISBN及定价:
978-7-5088-5554-7 精装/CNY298.00
载体形态项:
683页:图;24cm
并列正题名:
Complete works of Wu Wen-Tsun.Ⅴ.Mathematics mechanization
个人责任者:
吴文俊 (1919-2017) 著
个人次要责任者:
高小山 编订
学科主题:
数学-文集-英文
学科主题:
数学理论-文集-英文
中图法分类号:
O1-53
一般附注:
国家出版基金项目 纪念吴文俊先生诞辰100周年
出版发行附注:
题名页出版者题:科学出版社,龙门书局
提要文摘附注:
本书收录了吴文俊在数学机械化领域发表的46篇论文,内容包括:几何定理机器证明的吴方法、多项式系统符号求解的Ritt-吴特征列方法、构造性微分代数几何理论、不等式机器证明与优化问题的有限核定理等数学机械化领域的奠基性成果,还包括数学机械化方法在数学定理的自动发现、天体中心构型问题求解、平面机构定理的机器证明、机器人的运动学问题的自动求解、几何设计中的曲面拼接等问题中的应用。
全部MARC细节信息>>
索书号 条码号 年卷期 馆藏地 书刊状态 还书位置
O1-53/602:V11 72324853   特藏书库(筹)     非可借 特藏书库(筹)
显示全部馆藏信息
CADAL相关电子图书
借阅趋势

同名作者的其他著作(点击查看)
用户名:
密码:
验证码:
请输入下面显示的内容
  证件号 条码号 Email
 
姓名:
手机号:
送 书 地:
收藏到: 管理书架