【现货速发】吴文俊全集数学机械化 5

全新正版书籍，24小时发货，可开发票。

225.8 7.6折 298 全新

库存9件

天津津南

认证卖家担保交易快速发货售后保障

作者吴文俊

出版社龙门书局

ISBN9787508855547

出版时间2019-10

装帧精装

开本16开

定价298元

货号28470495

上书时间2025-01-01

已实名已认证进店收藏店铺

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

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

— 没有更多了 —

【现货速发】吴文俊全集 数学机械化 5