ISBN/价格: | 978-7-03-010764-0:CNY148.00 |
---|---|
作品语种: | chi |
出版国别: | CN 110000 |
题名责任者项: | 数学机械化/.吴文俊著 |
出版发行项: | 北京:,科学出版社:,2003 |
载体形态项: | 14, 380页:;+25cm |
丛编项: | 数学机械化丛书 |
一般附注: | 中国科学院科学出版基金资助出版 |
提要文摘: | 本书分成三个部分:第一部分考虑数学机械化的发展历史,特别强调在古代中国的发展历史。第二部分给出求解多项式方程组所依据的基本原理若干问题。第三部分给出了特征列方法在几何定理证明与发展、机器人、天体力学、全局优化和计算机辅助设计等领域的应用。 |
题名主题: | 定理证明 算法理论 |
索书号: | O241/W74 |
中图分类: | O241 |
个人名称等同: | 吴文俊 著 |
记录来源: | CN 北京新华书店首都发行所有限公司 20160329 |