数学机械化
科学出版社 / 2003-3出版
简介

《数学机械化》是围绕作者命名的"数学机械化"这一中心议题而陆续发表的一系列论文的综述。《数学机械化》试图以构造性与算法化的方式来研究数学,使数学推理机械化以至于自动化,由此减轻繁琐的脑力劳动。《数学机械化》分成三个部分:第一部分考虑数学机械化的发展历史,特别强调在古代中国的发展历史。第二部分给出求解多项式方程组所依据的基本原理与特征列方法。作为这一方法的基础,《数学机械化》还论述了构造性代数几何中的若干问题。第三部分给出了特征列方法在几何定理证明与发现、机器人、天体力学、全局优化和计算机辅助设计等领域中的应用。

喜欢这本书的人也喜欢 打开App查看更多
  • 数论教程
  • 不等式
  • 数学问题
  • 数论
豆瓣阅读热门小说
  1. 1 恐怖奇谈集
  2. 2 百年好合
  3. 3 两性的战争
  4. 4 追光
  5. 5 如此喜欢你
  6. 6 三喜
  7. 7 狐小月与羊大森 3
  8. 8 建筑恋爱史