吴文俊全集(数学机械化卷Ⅰ)(精)

正版新书新华官方库房直发可开电子发票

141 7.5折 188 全新

库存8件

江苏无锡

认证卖家担保交易快速发货售后保障

作者作者:吴文俊

出版社龙门书局

ISBN9787508855509

出版时间2019-05

装帧精装

纸张胶版纸

定价188元

货号ZJ:9787508855509

上书时间2024-09-19

已实名已认证进店收藏店铺

商品描述: 内容简介:
    本卷收录了吴文俊的Mathematics Mechanization: MechanicalGeometry Theorem-Proving，Mechanical Geometry Problem-Solving andPolynomial Equations-Solving一书。本书是围绕作者命名的“数学机械化”这一中心议题而陆续发表的一系列论文的综述。本书试图以构造性与算法化的方式来研究数学，使数学推理机械化以至于自动化，由此减轻繁琐的脑力劳动。
    全书分成三个部分：第一部分考虑数学机械化的发展历史，特别强调在古代中国的发展历史。第二部分给出求解多项式方程组所依据的基本原理与特征列方法。作为这一方法的基础，本书还论述了构造性代数几何中的若干问题。第三部分给出了特征列方法在几何定理证明与发现、机器人、天体力学、全局优化和计算机辅助设计等领域中的应用。
    本书可供数学工作者、数学及计算机专业高年级大学生和研究生以及有关工程人员参阅。

— 没有更多了 —