|
题名:
|
吴文俊全集 / 吴文俊著 , 高小山编订 |
|
ISBN:
|
978-7-5088-5554-7 价格： CNY298.00 |
|
语种:
|
chi |
|
载体形态:
|
683页 彩照 24cm |
|
出版发行:
|
出版地： 北京 出版社： 科学出版社 出版日期： 2019 |
|
内容提要:
|
本书收录了吴文俊在数学机械化领域发表的46篇论文，内容包括：几何定理机器证明的吴方法、多项式系统符号求解的Rit-吴特征列方法、构造性微分代数几何理论、不等式机器证明与优化问题的有限核定理等数学机械化领域的奠基性成果，还包括数学机械化方法在数学定理的自动发现、天体中心构型问题求解、平面机构定理的机器证明、机器人的运动学问题的自动求解、几何设计中的曲面拼接等问题中的应用。 |
|
主题词:
|
数学 |
|
主题词:
|
数学理论 |
|
中图分类法:
|
O1-53 版次： 5 |
|
主要责任者:
|
吴文俊 著 |
|
次要责任者:
|
高小山 编订 |
|
附注:
|
国家出版基金项目 |
|
索书号:
|
2 |