首页--数理科学和化学论文--数学论文--数学分析论文--微积分论文--积分学论文

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

论文共76页,点击 下载论文
上一篇:双线性系统最优反馈线性化控制方法的研究
下一篇:Burgers方程的数值模拟方法