| 摘要 | 第1-7页 |
| Abstract | 第7-11页 |
| 第一章 绪论 | 第11-29页 |
| ·积分方程研究概况 | 第12-19页 |
| ·积分方程求解方法概述 | 第19-21页 |
| ·数学机械化简介 | 第21-28页 |
| ·本文的选题和主要工作 | 第28-29页 |
| 第二章 Fredholm积分方程求解 | 第29-58页 |
| ·Fredholm积分方程的求解 | 第29-45页 |
| ·Fredholm积分方程组求解 | 第45-56页 |
| ·本章小结 | 第56-58页 |
| 第三章 Volterra积分方程求解 | 第58-93页 |
| ·Neumann级数求解法 | 第58-70页 |
| ·Taylor级数求解法 | 第70-82页 |
| ·Volterra积分方程组求解 | 第82-90页 |
| ·本章小结 | 第90-93页 |
| 第四章 非线性积分—微分方程求解 | 第93-117页 |
| ·基本算法 | 第93-99页 |
| ·机械化算法 | 第99-103页 |
| ·应用算例 | 第103-113页 |
| ·高阶常微分方程求解 | 第113-115页 |
| ·本章小结 | 第115-117页 |
| 第五章 结束语 | 第117-119页 |
| 参考文献 | 第119-136页 |
| 致谢 | 第136-137页 |
| 攻读博士学位期间发表论文和科研情况 | 第137-138页 |