[1] |
Olver P J.Applications of Lie Groups to Differential Equations[M].New York/Berlin: Springer-Verlag, 1991.
|
[2] |
Bluman G W,Kumei Sukeyuki. Symmetries and Differential Equations[M](App Math Sci,81). Beijing:Springer-Velag,World Publishing Corp, 1991.
|
[3] |
Ovsiannikov L W.Group Analysis of Differential Equations[M].transl Ames W F.New York/London:Academic Press, 1982.(English version)
|
[4] |
Arnol'd V I.Mathematical Methods of Classical Mechanics[M].New York: Springer-Verlag, 1978.
|
[5] |
Bluman G W,Chaolu Temuer,Sahadevan R.Local and nonlocal symmetries for nonlinear telegraph equations[J].J Math Phys,2005,46(2):1-12.
|
[6] |
Clarkson P A,Mansfield E L. Open problems in symmetry analysis[A].In:Leslie J A,Robart T,Eds.Geometrical Study of Differential Equations[C].285.Contemporary Mathematics Series.Providence, RI:A M S,2001,195-205.
|
[7] |
Reid G J,Wittkoipf Allan D.Determination of maximal symmetry groups of classes of differential equations[A].In:Proceedings of the 2000 International Symposium on Symboic and Algebraic Computation[C].St Andrews, Scotland,New York,NY:ACM,2000,272-280.
|
[8] |
高小山,王定康,杨宏.方程求解与机器证明——基于MMP的问题求解[M].北京:科学出版社,2006.
|
[9] |
吴文俊.初等几何定理机器证明的基本原理[J].系统科学与数学,1984,4(3):207-235.
|
[10] |
WU Wen-tsun.Mathematics Mechanization[M].Beijing/Dordrecht/Boston/London: Science Press,Kluwer Academic Publishers, 2000.
|
[11] |
WU Wen-tsun. On the foundation of algebraic differential geometry[J].J Systems Sci & Comp,1989,2(4): 289-312.
|
[12] |
朝鲁,高小山.微分多项式系统的近微分特征列集[J].数学学报,2002,45(6): 1041-1050.
|
[13] |
Temuer Chaolu.An algorithmic theory of reduction of differential polynomial system[J].Adv Math,2003,32(2):208-220.
|
[14] |
Baikov V A, Gazizov R A,Ibragimov N H.Approximate group analysis of nonlinear equationutt-(f(u)ux)x+[KG*4]. (u)ut=0[J].Differentsialinge,Uravnenign,1988,24(7): 1127-1138.
|