简介
积分方程是继微分方程之后出现的一个新的近代数学的重要分支，也是科学研究和解决工程技术问题的重要工具之一，具有广泛的应用。方程求解时积分方程的热点和难点之一。本书在前人研究的基础上，利用吴文俊院士所倡导的“数学机械化”的思想和方法研究了积分方程以及机械化算法的问题。
目录
第1章 绪论
1.1 积分方程研究概况
1.2 积分方程求解方法概述
1.3 数学机械化简介
第2章 Fredholm积分方程求解及其机械化
2.1 Fredholm积分方程求解
2.2 Fredholm积分方程组求解
2.3 本章小结
第3章 Volterra积分方程求解及其机械化
3.1 Neumann级数求解法
3.2 Taylor级数求解法
3.3 Volterra积分方程组求解
3.4 本章小结
第4章 非线性积分-微分方程求解及其机械化
4.1 基本算法
4.2 机械化算法
4.3 应用算例
4.4 高阶常微分方程求解
4.5 本章小结
第5章 结束语
附录A 符号积分研究及应用
A.1 问题的提出
A.2 符号积分算法设计
A.3 符号积分在微分中值定理自动推证中的应用
A.4 本章小结
参考文献①
- 名称
- 类型
- 大小
光盘服务联系方式: 020-38250260 客服QQ：4006604884
云图客服：
用户发送的提问，这种方式就需要有位在线客服来回答用户的问题，这种 就属于对话式的,问题是这种提问是否需要用户登录才能提问
Video Player
×
Audio Player
×
pdf Player
×
