基于Mizar的特殊函数积分及简化剩余系的研究
中文摘要 | 第1-5页 |
英文摘要 | 第5-9页 |
1 绪论 | 第9-15页 |
·数学机械化的发展及国内外研究现状 | 第9-11页 |
·Mizar语言系统的历史和研究现状 | 第11-12页 |
·课题研究的目的和意义 | 第12-13页 |
·课题研究的主要内容 | 第13-15页 |
2 特殊函数积分的Mizar实现 | 第15-49页 |
·积分公式 | 第15页 |
·特殊函数积分的Mizar实现 | 第15-38页 |
·环境部的设置和变量的声明 | 第15-17页 |
·特殊函数积分的Mizar表述与实现 | 第17-38页 |
·无理函数类积分的Mizar表述与实现 | 第17-22页 |
·有理函数类积分的Mizar表述与实现 | 第22-23页 |
·三角函数类积分的Mizar表述与实现 | 第23-26页 |
·反三角函数类积分的Mizar表述与实现 | 第26-30页 |
·指数函数类积分的Mizar表述与实现 | 第30-33页 |
·对数函数类积分的Mizar表述与实现 | 第33-38页 |
·瑕积分的Mizar表述与实现 | 第38-47页 |
·瑕积分的理论分析 | 第38-39页 |
·在Mizar系统下定义瑕积分 | 第39-47页 |
·实现最终的Mizar系统检测结果 | 第47-48页 |
·成果出处 | 第48-49页 |
3 简化剩余系几何级数形式的Mizar实现 | 第49-69页 |
·预备知识 | 第49-52页 |
·简化剩余系理论分析 | 第49-50页 |
·指数及原根理论分析 | 第50-52页 |
·简化剩余系几何级数形式的Mizar实现 | 第52-67页 |
·环境部的设置和变量的声明 | 第52-54页 |
·简化剩余系的Mizar实现 | 第54-58页 |
·简化剩余系几何级数形式的Mizar实现 | 第58-67页 |
·最终实现的Mizar形式 | 第67-69页 |
总结与展望 | 第69-71页 |
参考文献 | 第71-74页 |
致谢 | 第74-75页 |
攻读学位期间发表的学术论文目录 | 第75-76页 |