基于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页