吴文俊全集

书籍简介:

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

书籍规格:

书籍信息归属:

吴文俊全集是龙门书局于2019.5出版的中图分类号为 O1-53 的主题关于 数学理论－文集 的书籍。