孔夫子旧书网-网上买书卖书、古旧书收藏品交易平台 孔夫子旧书网-网上买书卖书、古旧书收藏品交易平台 占位居中 孔夫子旧书网-网上买书卖书、古旧书收藏品交易平台
商品
拍卖区
在售
已售
搜索历史
搜索
高级搜索

非线性代数方程组与定理机器证明

非线性代数方程组与定理机器证明
分享
扫描下方二维码分享到微信
打开微信，点击右上角”+“，
使用”扫一扫“即可将网页分享到朋友圈。
作者: 编 , 编 , 编
出版社: 上海科技教育出版社
1996-10
版次: 1
ISBN: 9787542813794
定价: 14.00
装帧: 平装
开本: 32开
纸张: 其他
页数: 203页
正文语种: 简体中文
丛书: 非线性科学丛书
分类: 自然科学
53人买过
  • 《非线性代数方程组与定理机器证明》是“非线性科学丛书”中的一种，介绍参系数非线性代数方程组的构造性理论和求解算法。全书计分六章，即：导论，消去法基础。三角型方程组，一般多项式方程组，机器证明的例证法，多项式方程的判别系统。其中有不少内容是作者的研究成果，尤其是5次以上代数方程的判定问题，作者在书中完全解决了这一几个世纪以来悬而未决的经典问题。《非线性代数方程组与定理机器证明》可供理工科大学教师、高年级学生、研究生、博士后阅读，也可供自然科学和工程技术领域中的研究人员参考。 非线性科学丛书出版说明
    前言
    第1章导论
    §1代数方程
    §2结构与计算
    §3计算机与数学
    §4定理机器证明
    §5非线性代数方程组
    §6计算机代数

    第2章消去法基础
    §7除法与整相关性
    §8除法的显式表示
    §9辗转相除法
    §10结式消去法
    §11联合消去法
    §12结式的某些性质
    §13用低阶行列式表示的结式
    §14方程组与消去法

    第3章三角型方程组
    §15一个例子
    §16互素性
    §17整相关性
    §18整相关性定理的证明
    §19相关性
    §20应用相关性判准的几个实例
    §21相对单纯分解
    §22相对分解算法
    §23相对单纯分解的一个实例
    §24非退化条件
    §25解的结构

    第4章一般多项式方程组
    §26一个例子
    §27基本概念
    §28迪克逊导出方程组
    §29一般情形的迪克逊结式
    §30显式解
    §31聚筛法
    §32聚筛法一例：WRSOLVE
    §33麦考莱商
    §34麦考莱商的例
    §35矩阵广义特征值方法
    §36伯恩斯坦定理
    §37多元结式的一些性质

    第5章机器证明的例证法
    §38概述
    §39起点
    §40推广
    §41几何命题的代数化
    §42构造性几何命题
    §43实例的选取和检验
    §44例子
    §45通用程序的运行实例

    第6章多项式方程的判别系统
    §46多项式的重根
    §47实根个数的经典判定法
    §48多项式的判别矩阵
    §49两个判别矩阵的关系
    §50判别矩阵与斯图姆组的关系
    §51参系数多项式实根个数的显式判定
    §52例子
    §53六次多项式根的分类
    §54稳定多项式
    附录A用MAPLE实现的WR程序
    附录B用MAPLE实现的GPS程序
    附录C用MAPLE实现的WRSOLVE程序
    索引
    科学家中外译名对照表
    参考文献
  • 内容简介:
    《非线性代数方程组与定理机器证明》是“非线性科学丛书”中的一种，介绍参系数非线性代数方程组的构造性理论和求解算法。全书计分六章，即：导论，消去法基础。三角型方程组，一般多项式方程组，机器证明的例证法，多项式方程的判别系统。其中有不少内容是作者的研究成果，尤其是5次以上代数方程的判定问题，作者在书中完全解决了这一几个世纪以来悬而未决的经典问题。《非线性代数方程组与定理机器证明》可供理工科大学教师、高年级学生、研究生、博士后阅读，也可供自然科学和工程技术领域中的研究人员参考。
  • 目录:
    非线性科学丛书出版说明
    前言
    第1章导论
    §1代数方程
    §2结构与计算
    §3计算机与数学
    §4定理机器证明
    §5非线性代数方程组
    §6计算机代数

    第2章消去法基础
    §7除法与整相关性
    §8除法的显式表示
    §9辗转相除法
    §10结式消去法
    §11联合消去法
    §12结式的某些性质
    §13用低阶行列式表示的结式
    §14方程组与消去法

    第3章三角型方程组
    §15一个例子
    §16互素性
    §17整相关性
    §18整相关性定理的证明
    §19相关性
    §20应用相关性判准的几个实例
    §21相对单纯分解
    §22相对分解算法
    §23相对单纯分解的一个实例
    §24非退化条件
    §25解的结构

    第4章一般多项式方程组
    §26一个例子
    §27基本概念
    §28迪克逊导出方程组
    §29一般情形的迪克逊结式
    §30显式解
    §31聚筛法
    §32聚筛法一例：WRSOLVE
    §33麦考莱商
    §34麦考莱商的例
    §35矩阵广义特征值方法
    §36伯恩斯坦定理
    §37多元结式的一些性质

    第5章机器证明的例证法
    §38概述
    §39起点
    §40推广
    §41几何命题的代数化
    §42构造性几何命题
    §43实例的选取和检验
    §44例子
    §45通用程序的运行实例

    第6章多项式方程的判别系统
    §46多项式的重根
    §47实根个数的经典判定法
    §48多项式的判别矩阵
    §49两个判别矩阵的关系
    §50判别矩阵与斯图姆组的关系
    §51参系数多项式实根个数的显式判定
    §52例子
    §53六次多项式根的分类
    §54稳定多项式
    附录A用MAPLE实现的WR程序
    附录B用MAPLE实现的GPS程序
    附录C用MAPLE实现的WRSOLVE程序
    索引
    科学家中外译名对照表
    参考文献
查看详情
相关分类
农业/林业 畜牧/养殖 生物科学 环境科学 数学 物理学 力学 化学 天文学 测绘学 地球科学 大气科学（气象学） 地质学 海洋学 自然地理学
系列丛书 / 更多
非线性代数方程组与定理机器证明
非线性科学丛书：非线性演化系统的符号计算方法
李帮庆、马玉兰 著
￥23.00 起
非线性代数方程组与定理机器证明
非线性演化方程
郭柏灵 著
￥10.00 起
非线性代数方程组与定理机器证明
迭代方程与嵌入流
张景中、杨路、张伟年 编
￥33.00 起
非线性代数方程组与定理机器证明
弱混沌与准规则斑图
汪秉宏 著；郝柏林 编
￥2.00 起
非线性代数方程组与定理机器证明
圆映射
陈式刚 著
￥37.32 起
非线性代数方程组与定理机器证明
孤子与可积系统
李翊神、郝柏林 著
￥80.00 起
非线性代数方程组与定理机器证明
符号动力系统
周作领 著
￥35.00 起
非线性代数方程组与定理机器证明
量子力学中的杨－巴克斯特方程
葛墨林、薛康 著
￥60.00 起
非线性代数方程组与定理机器证明
分岔与奇异性
陆启韶 著
￥16.00 起
非线性代数方程组与定理机器证明
量子混沌
顾雁 著
￥30.00 起
非线性代数方程组与定理机器证明
准晶体
刘有延、傅秀军 著
￥38.00 起
非线性代数方程组与定理机器证明
反应扩散系统中的斑图动力学
欧阳颀、郝柏林 著
￥70.00 起
相关图书 / 更多
非线性代数方程组与定理机器证明
非线性薛定谔问题解的存在性与多重性：英文
张靖
￥15.00 起
非线性代数方程组与定理机器证明
非线性滑模重构观测器设计与饱和主动容错控制
李颖晖；刘聪；徐浩军
￥49.38 起
非线性代数方程组与定理机器证明
非线性时滞系统迭代学习控制
邹强 著；韦建明；王宏
￥29.69 起
非线性代数方程组与定理机器证明
非线性数据挖掘
吴斌 著；张小乾；孙怀江；张庆
￥37.62 起
非线性代数方程组与定理机器证明
非线性光纤光学（第六版）（英文版）
[美]Govind P. Agrawal(戈文德· P. 阿戈沃
￥87.45 起
非线性代数方程组与定理机器证明
非线性能量阱理论与应用
黎文科
￥50.00 起
非线性代数方程组与定理机器证明
非线性算子不动点问题的迭代算法及其应用
何振华；李蓉
￥30.00 起
非线性代数方程组与定理机器证明
非线性问题的迭代逼近理论（英文版）
范钦伟；贺慧敏
￥94.00 起
非线性代数方程组与定理机器证明
非线性非平稳数据自适应分析方法
黄锷；张钰；吴召华
￥95.92 起
非线性代数方程组与定理机器证明
非线性编辑
刘瑞，涂先智，郭洁主编
￥18.70 起
非线性代数方程组与定理机器证明
非线性控制——以桥式吊车为例
何熊熊；武宪青；张胜增
￥35.00 起
非线性代数方程组与定理机器证明
非线性系统约束控制的研究
张瑞 李俊民 焦建民
￥9.80 起
您可能感兴趣 / 更多
非线性代数方程组与定理机器证明
不等式机器证明与自动发现
杨路、夏壁灿 著
￥22.80 起
非线性代数方程组与定理机器证明
DIY立体益智拼图：“雷霆”号航空母舰
杨路、连益 著；四川少儿出版社 编
￥6.00 起
非线性代数方程组与定理机器证明
DIY立体益智拼图：搅拌车（105块）
杨路、连益 著；武汉经纶玩具礼品有限公司 编
￥6.00 起
非线性代数方程组与定理机器证明
DIY立体益智拼图：攻击直升机
杨路、左倚剑 著；四川少儿出版社 编
￥6.00 起
非线性代数方程组与定理机器证明
DIY立体益智拼图：航空母舰
杨路、左倚剑 著
￥30.00 起
非线性代数方程组与定理机器证明
DIY立体益智拼图：剑龙
杨路、连益 编
￥6.00 起
© 2002-2024 Kongfz.com 孔夫子旧书网 版权所有
关于孔网 联系我们 帮助中心 版权隐私 广告业务 工作机会 移动版 图书目录 图书标签 热搜书籍 作家大全