吴文俊全集. 数学机械化卷. Ⅴ = The complete works of Wu Wen-Tsun. Mathematics mechanization. Ⅴ:数学机械化
Saved in:
Main Authors: | |
---|---|
Group Author: | |
Published: |
科学出版社
|
Publisher Address: | 北京 |
Publication Dates: | 2019 |
Literature type: | Book |
Language: |
Chinese English |
Subjects: | |
Carrier Form: | 683页: 彩照 ; 24cm |
ISBN: | 978-7-5088-5554-7 |
Index Number: | O1 |
CLC: |
O1-53 O1-0 |
Call Number: | O1-53/6802-4#5 |
Contents: |
国家出版基金项目 本书收录了吴文俊在数学机械化领域发表的46篇论文,内容包括:几何定理机器证明的吴方法、多项式系统符号求解的Ritt-吴特征列方法、构造性微分代数几何理论、不等式机器证明与优化问题的有限核定理等数学机械化领域的奠基性成果,还包括数学机械化方法在数学定理的自动发现、天体中心构型问题求解、平面机构定理的机器证明、机器人的运动学问题的自动求解、几何设计中的曲面拼接等问题中的应用。 |