数学机械化

数学机械化
7030107640
吴文俊著
数学机械化丛书
O1
科学出版社
2003-03
2003
2003
本书以构造性与算法化的方式研究数学，分为：数学机械化的发展史，强调在古代中国的发展史；求解多项式方程组所依据的基本原理与特征列方法；此方法在几何定理证明与发现、机器人、天体力学、全局优化和计算机辅助设计等领域的应用。