教育论文网

置换群运算与证明的数学机械化
硕士博士毕业论文站内搜索    
分类：教育论文网→数理科学和化学论文→数学论文→代数、数论、组合理论论文→群论论文
置换群运算与证明的数学机械化
论文目录
 
摘要第1-7 页
ABSTRACT第7-8 页
第一章 绪论第8-12 页
　　1．1 科学计算和计算机代数系统第8-10 页
　　1．2 论文的主要结果及安排第10-12 页
第二章 群论知识背景第12-19 页
　　2．1 置换群第12-16 页
　　2．2 置换群的运算及其在集合上的作用第16-17 页
　　2．3 小结第17-19 页
第三章 置换群运算与证明的计算机实现第19-34 页
　　3．1 置换群上运算的实现第19-27 页
　　3．2 置换群证明的计算机实现第27-33 页
　　3．3 小结第33-34 页
第四章 计算对称群的子群第34-41 页
　　4．1 数据表示和计算方法第34-37 页
　　4．2 对称群中的交换子群第37-38 页
　　4．3 例子第38-41 页
第五章 结束语第41-44 页
　　5．1 群论和算法第41-42 页
　　5．2 对A_n为单群的计算机证明的展望第42 页
　　5．3 计算机代数系统的局限性第42-44 页
致谢第44-45 页
参考文献第45-47 页
附录A 置换群运算的Mathematica程序第47-52 页
附录B 硕士阶段的主要工作第52 页

本篇论文共52页，点击这进入下载页面。
 
更多论文
置换群运算与证明的数学机械化
当代教师角色定位问题的研究
计及分布式电源的电力系统潮流及可
NaOH-AQ/O2两段蒸煮中氧
Steiner树问题中正则点分布与Stein
学校学习型组织构建初探
基于风险评估理论的输电网络扩展规
颜料与原纸对涂层覆盖率和涂布纸性
热传导的光滑粒子法数值模拟研究
基于接线模式的配电网络优化规划
配体与Au团簇之间相互作用的理论研
小学教师专业素质现状及提高对策的
分离式霍普金森压杆实验端面摩擦效
静电复印纸白水封闭循环条件下湿化
混凝土材料在侵彻及爆炸加载下动态
当前中等职业教育发展面临的问题与
高灰分纸张的纤维充填新工艺研究
几种不确定性系统理论的比较研究
纳米碳酸钙改性纤维的研究
发展初中生自主学习的理论分析与策
有界线性算子的样条插值逼近及其在
纤维素内切酶预处理对纸浆性能的影
知识管理理念下小学英语“合作学习
柏木酯类新产品的合成与开发
深空通信中RS码的编译码算法研究
离子自组装制备光敏功能超分子材料
论传统教学法与现代教学法在中学英
 
对称群论文 单群 算法 置换群论文 子群
版权申明：目录由用户juner19**提供，www.51papers.com仅收录目录，作者需要删除这篇论文目录请点击这里。
| 设为首页||加入收藏||站内搜索引擎||站点地图||在线购卡|
版权所有 教育论文网 Copyright(C) All Rights Reserved