Ruyong Feng‚ Michael F. Singer and Min Wu. Liouvillian solutions of linear difference-differential equations. Submitted to Journal of Symbolic Computation‚ 2008.Min Wu and Ziming Li. On solutions of linear functional systems and factorization of Laurent-Ore modules. In Computer Algebra 2006: Latest Advances in Symbolic Algorithms-Proceedings of the Waterloo Workshop‚ World Scientific‚ 2007.Ziming Li‚ Min Wu and Dabin Zheng. Testing linear dependence of hyperexponential elements. ACM SIGSAM Communications in Computer Algebra‚ Vol 41‚ No.1‚ March 2007.Ziming Li‚ Michael F. Singer‚ Min Wu and Dabin Zheng. A recursive method for determining the one-dimensional submodules of Laurent-Ore modules. In Proceedings of the 2006 International Symposium on Symbolic and Algebraic Computation‚ J. Dumas (ed)‚ 220-227‚ ACM Press‚ 2006. (Distinguished Paper Award)Ziming Li‚ Dabin Zheng and Min Wu. Determining a linear dependence of hyperexponential functions. Mathematics-Mechanization Research Preprints‚ No. 24‚ pp. 145-154‚ December 2005.Min Wu. On Solutions of Linear Functional Systems and Factorization of Modules over Laurent-Ore Algebras. Doctoral Thesis‚ July‚ 2005.Manuel Bronstein‚ Ziming Li and Min Wu. Picard-Vessiot extensions for linear functional systems. In Proceedings of the 2005 International Symposium on Symbolic and Algebraic Computation‚ 2005Min Wu. On the factorization of differential modules. Differential Equations and Symbolic Computation‚ Chapter 14. D. Wang and Z. Zheng (ed.). Birkhauser‚ Basel Boston‚ 2005. Min Wu and Guangxing Zeng. Higher level orderings on modules. Acta Mathematica Sinica‚ English Series‚ Vol. 21‚ No. 2‚ pp. 279-288. Springer-Verlag‚ 2005.
