| 微分、差分方程的机械化方法 |
| |
| 引用本文： | 高小山,李子明.微分、差分方程的机械化方法[J].系统科学与数学,2009,29(9):1222-1237. |
| |
| 作者姓名： | 高小山 李子明 |
| |
| 作者单位： | 中国科学院系统所,数学机械化重点实验室,100190 |
| |
| 基金项目： | 国家重点基础研究项目 |
| |
| 摘 要： | 介绍了微分与差分方程机械化方法研究若干最新进展.主要结果包括: 微分、差分方程的特征列理论与算法,微分、差分方程系统的分解算法以及微分、差分方程解析解求解算法.
|
| 关 键 词： | 数学机械化 微分方程 差分方程 特征列方法 函数分解 闭形式解. |
| 收稿时间： | 2009-7-10 |
MECHANIZED METHODS FOR DIFFERENTIAL AND DIFFERENCE EQUATIONS |
| |
| GAO Xiaoshan,LI Ziming.MECHANIZED METHODS FOR DIFFERENTIAL AND DIFFERENCE EQUATIONS[J].Journal of Systems Science and Mathematical Sciences,2009,29(9):1222-1237. |
| |
| Authors: | GAO Xiaoshan LI Ziming |
| |
| Institution: | Key Laboratory of Mathematics Mechanization, Institute of Systems Science, AMSS, Chinese Academy of Sciences, Beijing 100190 |
| |
| Abstract: | In this paper, we review some recent advances on mechanical methods for differential and difference equations, which include a characteristic set method for differential-difference systems, a decomposition method for finite-dimensional linear differential-difference systems, and some algorithms for computingclosed-form solutions for nonlinear ordinary differential and difference equations. |
| |
| Keywords: | Mathematics mechanization differential equations difference equations linear functional systems characteristic set method functional factorization closed-form solutions |
| 本文献已被 万方数据 等数据库收录！ |
| 点击此处可从《系统科学与数学》浏览原始摘要信息 |
| 点击此处可从《系统科学与数学》下载免费的PDF全文 |
