吴文俊全集

《吴文俊全集》

作者:

出版社: 龙门书局

CIP号:2019074640

书号:978-7-5088-5554-7

出版地:北京

出版时间:2019.5

定价:¥298.0

加盟合作

备注:如点击购买无效,则表示暂无此书货源。欢迎广大图书供货商洽谈合作!

本卷收录了吴文俊在数学机械化领域发表的56论文篇。内容包括:几何定理机器证明的吴方法,多项式系统符号求解的Ritt-吴特征列方法,构造性微分代数几何理论,不等式机器证明与优化问题的有限核定理等数学机械化领域的奠基性成果。还包括数学机械化方法在数学定理的自动发现、天体中心构型问题求解、平面机构定理的机器证明、机器人的运动学问题的自动求解、几何设计中的曲面拼接等问题中的应用。

延边大学出版社
图书下载推荐
最新图书

在线留言Online Message

联系方式CONTACT INFORMATION

公司地址:山东省济南市槐荫区经十路和谐广场银座中心2号楼

座机:0531-66718766(图书) 68656566(出版)  

邮箱:ydcbs@vip.qq.com、1007@vip.ydcbs.cn


网站地图

扫一扫关注微信公众号

备案信息:鲁ICP备17045043号-4