教育论文网

几何代数基础与质点几何的可读机器证明
硕士博士毕业论文站内搜索    
分类：教育论文网→数理科学和化学论文→数学论文→几何、拓扑论文→代数几何论文
几何代数基础与质点几何的可读机器证明
论文目录
 
中文摘要第1-6 页
Abstract第6-14 页
第一章 绪论第14-26 页
　　· 几何定理可读机器证明研究的历史与现状概述第14-21 页
　　　　· 几何不变量方法第15-20 页
　　　　· 基于数据库的搜索法第20-21 页
　　· 几何代数发展概述第21-24 页
　　　　· 什么是几何代数第21 页
　　　　· 已有的几何代数第21-22 页
　　　　· 作为几何代数的向量几何和质点几何第22-24 页
　　· 本文内容概述第24-26 页
第二章 几何代数基础新视角第26-38 页
　　· 欧氏平面点集上“平等”的加法第27-28 页
　　· 加法在Ω_1 上的确定第28-34 页
　　· 将Ω_1 扩充为阿贝尔群第34-37 页
　　· 第二章小结第37-38 页
第三章 质点几何的可读机器证明——希尔伯特交点类命题第38-66 页
　　· 实系数质点几何初步第38-47 页
　　　　· 实系数质点几何的基本原理第39-41 页
　　　　· 实系数质点几何解题的例子第41-44 页
　　　　· 实系数质点几何的消点方法第44-47 页
　　· 实系数质点几何方法描述第47-51 页
　　　　· 希尔伯特交点类命题的构图语句第47-49 页
　　　　· 结论的形式和检验语句第49-51 页
　　· 消点算法MPM 的实现第51-58 页
　　　　· MPM 的设计思想第51 页
　　　　· MPM 的完全性第51-52 页
　　　　· MPM 的结构第52-58 页
　　· 算法MPM 的Maple 实现及例子第58-63 页
　　　　· MPM的Maple实现第58-59 页
　　　　· 运行希尔伯特交点类命题的例子第59-63 页
　　· 第三章小结第63-66 页
第四章 质点几何的可读机器证明——线性构造型几何命题第66-128 页
　　· 复系数质点几何第66-85 页
　　　　· 复系数质点几何的基本思想第66-68 页
　　　　· 复系数质点几何的基本性质第68-72 页
　　　　· 复系数质点几何解题的例子第72-80 页
　　　　· 复系数质点几何的消点方法第80-85 页
　　· 复系数质点几何方法描述第85-92 页
　　　　· 线性构造型几何命题的构图语句第85-89 页
　　　　· 结论的形式和检验语句第89-92 页
　　· 消点算法CMPM 的实现第92-108 页
　　　　· CMPM 的设计思想第92-93 页
　　　　· CMPM 的完全性第93-94 页
　　　　· CMPM 的结构第94-108 页
　　· 算法CMPM 的Maple 实现及例子第108-121 页
　　　　· CMPM 的Maple 实现第108-109 页
　　　　· 运行线性构造型几何命题的例子第109-121 页
　　· 算法 CMPM 与 MPM 的比较第121-124 页
　　· 质点法与面积法初步比较第124-125 页
　　· 第四章小结第125-128 页
第五章 总结与展望第128-132 页
　　· 总结第128-130 页
　　　　· 经验数据统计第128-129 页
　　　　· 本文工作总结第129-130 页
　　· 进一步的问题和拟开展的工作第130-132 页
　　　　· 几何代数基础方面第130 页
　　　　· 基于质点几何的可读机器证明方面第130-132 页
参考文献第132-140 页
攻读博士学位期间发表的学术论文第140-141 页
致谢第141页

本篇论文共141页，点击这进入下载页面。
 
更多论文
几何代数基础与质点几何的可读机器
关于布尔函数抵御代数攻击的性能研
我国上市公司信用风险计量研究
广东城市创新空间体系研究
工业企业节能效果评价指标体系理论
建设工程领域知识型员工离职倾向问
广州市廉租住房区位选择研究
城市管治视角下的金融服务业集聚机
基于GIS与RS的近20年广州市城市建设
基于胜任特征模型的公文筐实证研究
突发事件中食品应急物流的成本体系
南海区土地利用变化的社会经济效应
农村妇女土地权益保护制度研究--以
珠三角地区建设用地集约利用评价研
基于土地利用/覆被差异的生态补偿-
珠江三角洲核心区与外缘区土地利用
广东省制造业竞争力时空演化及机制
广州香港深圳港口合作竞争研究
银行债权的公司治理效应研究--以广
殷商甲骨文形声字研究
甲骨文异体字研究
甲骨文可识会意字研究
专业市场与区域相关产业发展研究
城市展览业发展的地理条件分析--以
中国股票市场非线性特征刻画
背光模组中的光学设计
外电场作用下球抛物量子点中杂质性
双量子阱中拉曼散射的理论研究
ZnO光电导纳米材料及其半导体性质研
Σ-协议的性质及应用研究
一类无线传感器网络密钥预分配方案
Pomaranch流密码的实现与分析
基于图像识别技术的动态几何系统的
SAR与SPOT数据融合方法在道路提取中
高中地理信息技术辅助教学软件设计
电子病历系统的设计与实现
蜂群算法及其在垂直Web搜索中的应用
数字产品中防盗版码的构造研究
软件补丁的发布技术研究
国内非教育网站资源的教学价值与应
抵御探测响应攻击的报警提交策略研
DOM型XSS攻击防范模型研究
嵌入式PID神经网络调节器的研究
基于网络数据共享的平面几何自动推
安全两方的神经网络计算和学习
青少年生活压力事件、人格特质和攻
我国课件开发思想形成和发展的研究
大学生应对效能、归因风格与自我宽
社会公众的教育观念状况及影响因素
青少年人际压力、人际自我效能感与
大学生社会智力的测量及其与一般智
外来工子弟心理弹性对自尊、社交焦
家庭社经地位对5-6岁儿童社会戏剧性
小学英语教师实践性知识生成策略的
教育公平视野下的中学英语课堂互动
数学奥林匹克与中学生科学素质的培
中学语文教学提问语境顺应策略研究
超级画板支持下的高中数学教学研究
中学教师反思性教学现状的调查研究
高中生物理学习自我效能感的调查研
高中体育与健康课程发展性评价的实
广州市普通高中教师课程能力的现状
中小学初任教师入职指导策略研究
 
几何代数论文 质点几何论文 可读机器证明论文
版权申明：目录由用户uniel**提供，www.51papers.com仅收录目录，作者需要删除这篇论文目录请点击这里。
| 设为首页||加入收藏||站内搜索引擎||站点地图||在线购卡|
版权所有 教育论文网 Copyright(C) All Rights Reserved