0去购物车结算
购物车中还没有商品，赶紧选购吧！
当前位置: 图书分类 > 数学 > 应用数学 > 数学机械化

相同作者的商品

相同语种的商品

销售排行榜

浏览历史

数学机械化


联系编辑
 
标题：
 
内容：
 
联系方式：
 
  
数学机械化
  • 书号：9787030107640
    作者：吴文俊
  • 外文书名：
  • 装帧：圆脊精装
    开本：B5
  • 页数：380
    字数：466000
    语种：zh-Hans
  • 出版社：科学出版社
    出版时间：2003-03-01
  • 所属分类：
  • 定价： ￥148.00元
    售价： ￥116.92元
  • 图书介质:

  • 购买数量： 件  缺货，请选择其他介质图书！
  • 商品总价：

内容介绍

样章试读

用户评论

全部咨询

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

全部咨询(共0条问答)

  • 暂时还没有任何用户咨询内容
总计 0 个记录，共 1 页。 第一页 上一页 下一页 最末页
用户名： 匿名用户
E-mail：
咨询内容：

目录

  • 目录
    第一部分 历史发展
    第一章 古代（中国）多项式方程组求解 l
    1.1 中国历史和中国古代数学典籍简述 1
    1.2 中国古代解多项式方程的方法 8
    1.3 古代外国的多项式方程解法和笛卡儿方案 19
    第二章 几何定理证明的历史发展和古代的几何问题求麓 26
    2.1 几何定理证明 从欧几里得到希尔伯特 26
    2.2 计算机时代的几何定理证明 38
    2.3 古代中国的几何问题求解和几何定理证明 41
    第二部分 原理与方法
    第三章 作为零点集的代数簇和特征集方法 56
    3.1 仿射空间和投影空间的扩张点和特定化 56
    3.2 代数簇和零点集 64
    3.3 多项式集、升列和偏序 74
    3.4 多项式集的特征列和整序原理 82
    3.5 零点分解定理 93
    3.6 簇分解定理 106
    第四章 计算机代数的若干问题 l18
    4.1 整数组 ll8
    4.2 多项式理想的良序基 l24
    4.3 一个多项式理想的良性基 130
    4.4 良性基的性质吸其与Grobner基的关系 138
    4.5 任意扩域上的多元多项式的因式分解和最大公因式 l47
    第五章 计算代数几何中的一些问题 158
    5.1 实代数簇与复代数簇的一些重要特征 158
    5.2 代数对应和周形式 171
    5.3 具有任意奇性的不可约代数簇的陈类与陈数 181
    5.4 拟代数簇的投影定理 189
    5.5 实多项式的极值性 197
    第三部分 应用实例
    第六章 在多项式方程组求解中的应用 210
    6.1 多项式方程组求解的基本原理：特征集方法 210
    6.2 一种多项式方程组求解的混合方法 218
    6.3 求解计数几何中的问题 230
    6.4 星体运动与涡流运动的中心构型 239
    6.5 机器人学中逆运动方程的求解 251
    第七章 在几何定理证明中的应用 263
    7.1 几何定理机器证明的基本原理 263
    7.2 Hilbert型几何定理的机器证明 272
    7.3 只涉及等式的几何定理机器证明 287
    7.4 涉及不等式的几何定理机器证明 297
    第八章 在其他方面的应用 312
    8.1 在自动发现未知关系和自动确定几何轨迹方面的应用 312
    8.2 在不等式、优化问题和非线性规划等问题方面的应用 323
    8.3 四连杆机构设计方面的应用 333
    8.4 在计算机辅助几何设计的曲面拼接问题中的应用 340
    8.5 一些补充和扩展 349
    参考文献 369
帮助中心
公司简介
联系我们
常见问题
新手上路
发票制度
积分说明
购物指南
配送方式
配送时间及费用
配送查询说明
配送范围
快递查询
售后服务
退换货说明
退换货流程
投诉或建议
版权声明
经营资质
营业执照
出版社经营许可证

中国科技出版传媒股份有限公司　版权所有

　

京ICP备14028887号-5　 京ICP证150976号 京公网安备 11010102004214号

北京东黄城根北街16号 邮编：100717 Email:webmaster@mail.sciencep.com