杭州电子科技大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

吴文俊全集:数学机械化.Ⅴ.数学机械化卷/吴文俊著 高小山编订

出版发行项:

北京:科学出版社,2019

ISBN及定价:

978-7-5088-5554-7 精装/CNY298.00

载体形态项:

683页:图;24cm

并列正题名:

Complete works of Wu Wen-Tsun.Ⅴ.Mathematics mechanization

个人责任者:

吴文俊 (1919-2017) 著

个人次要责任者:

高小山 编订

学科主题:

数学-文集-英文

学科主题:

数学理论-文集-英文

中图法分类号:

O1-53

一般附注:

国家出版基金项目 纪念吴文俊先生诞辰100周年

出版发行附注:

题名页出版者题：科学出版社，龙门书局

提要文摘附注:

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

豆瓣简介：