积分方程求解及其机械化

积分方程是继微分方程之后出现的一个新的近代数学的重要分支，也是科学研究和解决工程技术问题的重要工具之一，具有广泛的应用。方程求解时积分方程的热点和难点之一。本书在前人研究的基础上，利用吴文俊院士所倡导的“数学机械化”的思想和方法研究了积分方程以及机械化算法的问题。