描述
开 本: 16开纸 张: 胶版纸包 装: 平装-胶订是否套装: 否国际标准书号ISBN: 9787508855523丛书名: 国家出版基金项目吴文俊全集
内容简介
本卷收录了吴文俊的《数学机械化》一书. 本书是围绕作者命名的“数
学机械化”这一中心议题而陆续发表的一系列论文的综述. 本书试图以构
造性与算法化的方式来研究数学, 使数学推理机械化以至于自动化, 由此
减轻繁琐的脑力劳动.
全书分成三个部分：*部分考虑数学机械化的发展历史, 特别强调
在古代中国的发展历史. 第二部分给出求解多项式方程组所依据的基本
原理与特征列方法. 作为这一方法的基础, 本书还论述了构造性代数几何
中的若干问题. 第三部分给出了特征列方法在几何定理证明与发现、机器
人、天体力学、全局优化和计算机辅助设计等领域中的应用.
学机械化”这一中心议题而陆续发表的一系列论文的综述. 本书试图以构
造性与算法化的方式来研究数学, 使数学推理机械化以至于自动化, 由此
减轻繁琐的脑力劳动.
全书分成三个部分：*部分考虑数学机械化的发展历史, 特别强调
在古代中国的发展历史. 第二部分给出求解多项式方程组所依据的基本
原理与特征列方法. 作为这一方法的基础, 本书还论述了构造性代数几何
中的若干问题. 第三部分给出了特征列方法在几何定理证明与发现、机器
人、天体力学、全局优化和计算机辅助设计等领域中的应用.
评论
还没有评论。