共 14 条
[1]
Nearly characteristic set of differential polynomial system. Temuerchaolu,,Gao X.S. Acta Mathematica Sinica,Chinese Series . 2002
[2]
Symmetries and Differential Equations. Bluman G W and Kumei S. Appl. Math. Sci .No 81 Springer ,New York . 1989
[3]
Local and Nonlocal Symmetries for Nonlinear Telegraph Equations. Bluman G W,Temuerchaolu. Journal of Mathematical Physics . 2005
[4]
Basic Principles of Mechanical Theorem Proving in Geometries. Wen-tsün,Wu. Journal of Systems Science and Mathematical Sciences . 1984
[5]
Group Analysis of Di-erential Equations. Ovsiannikov,L.V,(trans.Ames,W.F.). . 1982
[6]
Determination of maximal symmetry groups of classes of dif- ferential equations. Reid,G.J,Wittkoipf,A.D. Proceedings of the 2000 International Symposium on Symbolic and Algebraic Computation . 2000
[7]
Arnol’d,V. I. Mathematical Methods of Classical Mechanics . 1978
[8]
On the foundation of algebraic differential geometry. Wu,W. T. Sys Sci & Math Scis . 1989
[9]
An Algorithmic Theory of Reduction of Differential Polynomials System. Temurchaolu. Advances in Mathematics . 2003
[10]
Equation Solving and Mechanical Proving- Solving Problems Based on MMP. Gao,Xiaoshan,Wang,Dingkang,Yang,Hong. . 2006