A SYMBOLIC COMPUTATION METHOD TO DECIDE THE COMPLETENESS OF THE SOLUTIONS TO THE SYSTEM OF LINEAR PARTIAL DIFFERENTIAL EQUATIONS

Applied Mathematics and Mechanics (English Edition) ›› 2002, Vol. 23 ›› Issue (10): 1134-1139.

A SYMBOLIC COMPUTATION METHOD TO DECIDE THE COMPLETENESS OF THE SOLUTIONS TO THE SYSTEM OF LINEAR PARTIAL DIFFERENTIAL EQUATIONS

张鸿庆, 谢福鼎, 陆斌

Department of Applied Mathematics, Dalian University of Technology, Dalian 116024, P. R. China

收稿日期:2001-06-16 修回日期:2002-04-09 出版日期:2002-10-18 发布日期:2002-10-18
基金资助:
the‘973’Project of China(G1998030600);the National Natural Science Foundation of China(10072013)

A SYMBOLIC COMPUTATION METHOD TO DECIDE THE COMPLETENESS OF THE SOLUTIONS TO THE SYSTEM OF LINEAR PARTIAL DIFFERENTIAL EQUATIONS

ZHANG Hong-qing, XIE Fu-ding, LU Bin

Department of Applied Mathematics, Dalian University of Technology, Dalian 116024, P. R. China

Received:2001-06-16 Revised:2002-04-09 Online:2002-10-18 Published:2002-10-18
Supported by:
the‘973’Project of China(G1998030600);the National Natural Science Foundation of China(10072013)

摘要/Abstract

摘要： A symbolic computation method to decide whether the solutions to the system of linear partial differential equation is complete via using differential algebra and characteristic set is presented.This is a mechanization method,and it can be carried out on the computer in the Maple environment.

关键词: differential algebra, system of partial differential equation, symbolic computation, characteristic set

Abstract: A symbolic computation method to decide whether the solutions to the system of linear partial differential equation is complete via using differential algebra and characteristic set is presented.This is a mechanization method,and it can be carried out on the computer in the Maple environment.

Key words: differential algebra, system of partial differential equation, symbolic computation, characteristic set

中图分类号:

O155
O175.2

张鸿庆;谢福鼎;陆斌. A SYMBOLIC COMPUTATION METHOD TO DECIDE THE COMPLETENESS OF THE SOLUTIONS TO THE SYSTEM OF LINEAR PARTIAL DIFFERENTIAL EQUATIONS[J]. Applied Mathematics and Mechanics (English Edition), 2002, 23(10): 1134-1139.

ZHANG Hong-qing;XIE Fu-ding;LU Bin . A SYMBOLIC COMPUTATION METHOD TO DECIDE THE COMPLETENESS OF THE SOLUTIONS TO THE SYSTEM OF LINEAR PARTIAL DIFFERENTIAL EQUATIONS[J]. Applied Mathematics and Mechanics (English Edition), 2002, 23(10): 1134-1139.

[1]	特木尔朝鲁白玉山. Differential characteristic set algorithm for the complete symmetry classification of partial differential equations[J]. Applied Mathematics and Mechanics (English Edition), 2009, 30(5): 595-606.
[2]	胡超;王岩;王立国;黄文虎. APPLICATION OF MECHANIZED MATHEMATICS TO ROTOR DYNAMICS[J]. Applied Mathematics and Mechanics (English Edition), 2002, 23(9): 1045-1053.
[3]	戴世强. POINCARE-LIGHTHILL-KUO METHOD AND SYMBOLIC COMPUTATION[J]. Applied Mathematics and Mechanics (English Edition), 2001, 22(3): 261-269.
[4]	隋允康;王文军. THE ANALYTICAL SOLUTION WITH RESPECT TO CHARACTERISTICS OF ELEMENTS' CROSS-SECTION AS VARIABLES OF THE PLANE FRAME[J]. Applied Mathematics and Mechanics (English Edition), 1998, 19(4): 381-390.
[5]	戴世强;臧宏鸣. A SEMI-INVERSE ALGORITHM IN APPLICATION OF COMPUTER ALGEBRA[J]. Applied Mathematics and Mechanics (English Edition), 1997, 18(2): 113-119.

A SYMBOLIC COMPUTATION METHOD TO DECIDE THE COMPLETENESS OF THE SOLUTIONS TO THE SYSTEM OF LINEAR PARTIAL DIFFERENTIAL EQUATIONS

A SYMBOLIC COMPUTATION METHOD TO DECIDE THE COMPLETENESS OF THE SOLUTIONS TO THE SYSTEM OF LINEAR PARTIAL DIFFERENTIAL EQUATIONS

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 5

编辑推荐

Metrics

本文评价