西安工业大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

吴文俊全集:数学机械化.Ⅲ.数学机械化卷/吴文俊著

出版发行项:

北京:龙门书局,2019

ISBN及定价:

978-7-5088-5552-3 精装/CNY198.00

载体形态项:

372页, [1] 页图版:图, 肖像;25cm

并列正题名:

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

其它题名:

数学机械化卷

其它题名:

数学机械化

个人责任者:

吴文俊 著

学科主题:

数学理论-文集

中图法分类号:

O1-53

一般附注:

国家出版基金项目

书目附注:

有书目 (第363-372页)

提要文摘附注:

本书分成三个部分: 第一部分考虑数学机械化的发展历史, 特别强调在古代中国的发展历史。第二部分给出求解多项式方程组所依据的基本原理与特征列方法。作为这一方法的基础, 本书还论述了构造性代数几何中的若干问题。第三部分给出了特征列方法在几何定理证明与发现、机器人、天体力学、全局优化和计算机辅助设计等领域中的应用。

豆瓣简介：