Product Details 基本信息 ISBN-13 书号 9787508855547 Author 作者 吴文俊 Format 版本 平装-胶订 Pages Number 页数 700页 Publisher 出版社 科学出版社 Publication Date 出版日期 2019-05-01 Product Dimensions 商品尺寸 16开 Language 语种 其它(含多语) Book Contents 内容简介 本卷收录了吴文俊在数学机械化领域发表的46篇论文,内容包括:几何定理机器证明的吴方法、多项式系统符号求解的Ritt-吴特征列方法、构造性微分代数几何理论、不等式机器证明与优化问题的有限核定理等数学机械化领域的奠基性成果,还包括数学机械化方法在数学定理的自动发现、天体中心构型问题求解、平面机构定理的机器证明、机器人的运动学问题的自动求解、几何设计中的曲面拼接等问题中的应用。
¥244.00定价:¥488.00 (5折)
【现货正版】20世纪中国20世纪中国科学口述史·走自己的路——吴文俊口述自传
¥61.90定价:¥74.00 (8.37折)
博恩崔西全15册 成交宝典/领导力/市场营销/激励/时间管理/谈判/高效会议/压力是成功的跳板/重塑自我等职场制胜 企业
¥682.58定价:¥682.58
C语言程序设计学习指导 第2版 清华大学出版社 韦娜等 21世纪普通高校计算机公共课程规划教材 C语言程序设计正版
¥30.70定价:¥31.60 (9.72折)
¥15.00定价:¥19.00 (7.9折)