吴文俊全集 数学机械化卷v作者：吴文俊 出版时间：2019年版内容简介本卷收录了吴文俊在数学机械化领域发表的46篇论文，内容包括：几何定理机器证明的吴方法、多项式系统符号求解的Ritt-吴特征列方法、构造性微分代数几何理论、不等式机器证明与优化问题的有限核定理等数学机械化领域的奠基性成果,还包括数学机械化方法在数学定理的自动发现、天体中心构型问题求解、平面机构定理的机器证...

上一篇：吴文俊全集 数学机械化卷 III 吴文俊 著；高小山编订 2019年版
下一篇：吴文俊全集 数学机械化卷III（中国）吴文俊 2019年版