当前位置:首页 > 数理化
积分方程求解及其机械化
积分方程求解及其机械化

积分方程求解及其机械化PDF电子书下载

数理化

  • 电子书积分:8 积分如何计算积分?
  • 作 者:王玮明著
  • 出 版 社:兰州:甘肃科学技术出版社
  • 出版年份:2008
  • ISBN:9787542412348
  • 页数:145 页
图书介绍:积分方程是继微分方程之后出现的一个新的近代数学的重要分支,也是科学研究和解决工程技术问题的重要工具之一,具有广泛的应用。方程求解时积分方程的热点和难点之一。本书在前人研究的基础上,利用吴文俊院士所倡导的“数学机械化”的思想和方法研究了积分方程以及机械化算法的问题。
《积分方程求解及其机械化》目录

第1章 绪论 1

1.1 积分方程研究概况 2

1.2 积分方程求解方法概述 9

1.3 数学机械化简介 11

第2章 Fredholm积分方程求解及其机械化 19

2.1 Fredholm积分方程求解 19

2.2 Fredholm积分方程组求解 36

2.3 本章小结 46

第3章 Volterra积分方程求解及其机械化 49

3.1 Neumann级数求解法 49

3.2 Taylor级数求解法 61

3.3 Volterra积分方程组求解 75

3.4 本章小结 83

第4章 非线性积分-微分方程求解及其机械化 87

4.1 基本算法 87

4.2 机械化算法 93

4.3 应用算例 98

4.4 高阶常微分方程求解 108

4.5 本章小结 110

第5章 结束语 113

附录A 符号积分研究及应用 115

A.1 问题的提出 115

A.2 符号积分算法设计 116

A.3 符号积分在微分中值定理自动推证中的应用 126

A.4 本章小结 133

参考文献① 135

返回顶部